Login / Signup

Constraint-based Verification of Formation Control.

Julien Alexandre Dit SandrettoAlexandre ChapoutotChristophe GarionXavier ThiriouxGhiles Ziat
Published in: CDC (2021)
Keyphrases
  • formation control
  • collision avoidance
  • mobile robot
  • multi robot
  • leader follower
  • receding horizon
  • team formation
  • multi robot systems
  • evolutionary algorithm
  • computer vision