Robust multi-robot optimal path planning with temporal logic constraints.
Alphan UlusoyStephen L. SmithXu Chu DingCalin BeltaPublished in: ICRA (2012)
Keyphrases
- path planning
- multi robot
- temporal logic
- optimal path
- mobile robot
- model checking
- motion planning
- path planning algorithm
- automata theoretic
- dynamic constraints
- multiple robots
- potential field
- obstacle avoidance
- dynamic environments
- collision avoidance
- search and rescue
- multi robot systems
- indoor environments
- multi robot exploration
- robot soccer
- collision free
- aerial vehicles
- dynamic and uncertain environments
- autonomous navigation
- autonomous vehicles
- path finding
- uncertain environments
- degrees of freedom
- dynamic programming
- unknown environments
- belief revision
- optimal solution