Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications.
Ruofei BaiRonghao ZhengMeiqin LiuSenlin ZhangPublished in: CoRR (2021)
Keyphrases
- temporal logic
- multi robot
- uncertain environments
- concurrent systems
- motion planning
- model checking
- temporally extended goals
- transition systems
- multiple robots
- reactive systems
- model checker
- path planning
- robot teams
- bounded model checking
- mobile robot
- formal specification language
- multi robot systems
- modal logic
- multi robot exploration
- verification method
- symbolic model checking
- computation tree logic
- temporally extended
- search and rescue
- linear temporal logic
- mazurkiewicz traces
- finite state
- dynamic constraints
- domain independent
- heuristic search
- dynamic environments
- real time
- planning problems
- temporal knowledge
- coalitional game theory