Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications.
Huanfei ZhengYue WangPublished in: Discret. Event Dyn. Syst. (2022)
Keyphrases
- multi robot
- temporal logic
- motion planning
- concurrent systems
- transition systems
- model checking
- path planning
- model checker
- reactive systems
- mobile robot
- formal specification language
- bounded model checking
- temporally extended
- multi robot systems
- multi robot exploration
- formal specification
- computation tree logic
- robot soccer
- verification method
- robotic systems
- multiple robots
- potential field
- linear temporal logic
- collision free
- real robot
- obstacle avoidance
- robot teams
- belief revision
- belief space
- computer vision
- formal verification
- collision avoidance
- humanoid robot
- dynamic environments
- d objects
- multi robot cooperative