Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization.
Alphan UlusoyStephen L. SmithCalin BeltaPublished in: DARS (2012)
Keyphrases
- path planning
- multi robot
- optimal path
- mobile robot
- collision avoidance
- path planning algorithm
- multi robot systems
- potential field
- multi robot exploration
- motion planning
- dynamic environments
- search and rescue
- multiple robots
- obstacle avoidance
- collision free
- path finding
- uncertain environments
- dynamic programming
- autonomous navigation
- dynamic and uncertain environments
- degrees of freedom
- unknown environments
- robot soccer
- autonomous vehicles
- indoor environments
- initially unknown
- robot path planning
- dead ends
- shortest path
- real robot
- model checking
- robot teams
- object detection
- multi robot cooperative