Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization
Alphan UlusoyStephen L. SmithCalin BeltaPublished in: CoRR (2012)
Keyphrases
- path planning
- multi robot
- optimal path
- mobile robot
- collision avoidance
- multiple robots
- path planning algorithm
- dynamic environments
- multi robot systems
- obstacle avoidance
- motion planning
- search and rescue
- potential field
- initially unknown
- multi robot exploration
- dynamic programming
- robot path planning
- optimal solution
- path finding
- indoor environments
- dead ends
- autonomous vehicles
- uncertain environments
- autonomous navigation
- unmanned aerial vehicles
- configuration space
- aerial vehicles
- multi robot cooperative
- coalitional game theory
- collision free
- real robot
- approximation algorithms
- degrees of freedom
- model checking
- video sequences