Login / Signup
A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications.
Ruixuan Yan
Agung Julius
Published in:
IEEE Robotics Autom. Lett. (2021)
Keyphrases
</>
motion planning
path planning
temporal logic
multi robot
mobile robot
obstacle avoidance
configuration space
trajectory planning
robot arm
dynamic programming
verification method
search space
degrees of freedom
modal logic
collision free