Multi-robot path planning for syntactically co-safe LTL specifications.
Marius KloetzerCristian MahuleaPublished in: WODES (2016)
Keyphrases
- multi robot
- path planning
- bounded model checking
- mobile robot
- model checking
- path planning algorithm
- obstacle avoidance
- multi robot systems
- collision avoidance
- dynamic environments
- potential field
- multi robot exploration
- motion planning
- search and rescue
- robot soccer
- multiple robots
- optimal path
- uncertain environments
- path finding
- autonomous navigation
- indoor environments
- dynamic and uncertain environments
- robot path planning
- real robot
- unmanned aerial vehicles
- autonomous vehicles
- degrees of freedom
- computer vision
- coalitional game theory
- robot teams
- aerial vehicles
- cellular automata
- multi agent systems