Optimal multi-robot path planning with Temporal Logic constraints.
Alphan UlusoyStephen L. SmithXu Chu DingCalin BeltaDaniela RusPublished in: IROS (2011)
Keyphrases
- path planning
- multi robot
- temporal logic
- optimal path
- mobile robot
- model checking
- automata theoretic
- multi robot systems
- path planning algorithm
- dynamic environments
- motion planning
- search and rescue
- dynamic constraints
- collision avoidance
- multiple robots
- multi robot exploration
- potential field
- obstacle avoidance
- robot soccer
- collision free
- indoor environments
- dynamic programming
- uncertain environments
- autonomous vehicles
- unknown environments
- dynamic and uncertain environments
- belief revision
- robot teams