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