Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.
Feifei HuangXiang YinShaoyuan LiPublished in: ASCC (2022)
Keyphrases
- multi robot
- multiple robots
- uncertain environments
- linear temporal logic
- motion planning
- path planning
- mobile robot
- bounded model checking
- multi robot systems
- robotic systems
- multi robot exploration
- robot teams
- search and rescue
- autonomous robots
- formal specification
- temporal logic
- model checking
- heuristic search
- temporally extended goals
- knowledge base
- coalitional game theory
- dynamic environments
- vision system
- multi agent systems