Automated Formation Control Synthesis from Temporal Logic Specifications.
Shuhao QiZengjie ZhangSofie HaesaertZhiyong SunPublished in: CDC (2023)
Keyphrases
- temporal logic
- formation control
- concurrent systems
- model checking
- transition systems
- model checker
- bounded model checking
- reactive systems
- formal specification language
- modal logic
- mobile robot
- formal specification
- leader follower
- collision avoidance
- computation tree logic
- multi robot
- formal verification
- receding horizon
- linear temporal logic
- mazurkiewicz traces
- belief revision
- verification method
- multi robot systems
- team formation
- formal methods
- control flow
- temporally extended
- dynamic environments
- video sequences