Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.
Felipe J. MontanaJun LiuTony J. DoddPublished in: FMICS-AVoCS (2017)
Keyphrases
- path planning
- multi robot systems
- linear temporal logic
- multi robot
- bounded model checking
- motion planning
- multiple robots
- mobile robot
- temporal logic
- model checking
- transition systems
- collision avoidance
- path planning algorithm
- dynamic environments
- concurrent systems
- formal specification
- specification language
- autonomous robots
- degrees of freedom
- collision free
- reactive systems
- indoor environments
- autonomous navigation
- optimal path
- path finding
- multi robot task allocation
- objective function
- belief revision
- orders of magnitude
- evolutionary algorithm