Optimal Multi-Robot Path Planning with Temporal Logic Constraints
Alphan UlusoyStephen L. SmithXu Chu DingCalin BeltaDaniela RusPublished in: CoRR (2011)
Keyphrases
- path planning
- multi robot
- temporal logic
- optimal path
- mobile robot
- model checking
- automata theoretic
- motion planning
- dynamic environments
- dynamic constraints
- multi robot systems
- path planning algorithm
- collision avoidance
- potential field
- multiple robots
- obstacle avoidance
- multi robot exploration
- search and rescue
- uncertain environments
- dynamic and uncertain environments
- robot soccer
- dynamic programming
- collision free
- autonomous vehicles
- path finding
- indoor environments
- unmanned aerial vehicles
- degrees of freedom
- aerial vehicles
- belief revision
- multi robot coordination
- video sequences