Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks.
Lars LindemannJakub NowakLukas SchönbächlerMeng GuoJana TumovaDimos V. DimarogonasPublished in: IEEE Trans. Control. Syst. Technol. (2021)
Keyphrases
- temporal logic
- linear temporal logic
- multi robot systems
- model checking
- multiple robots
- multi robot
- bounded model checking
- autonomous robots
- modal logic
- concurrent systems
- verification method
- mobile robot
- belief revision
- path planning
- distributed systems
- model checker
- motion planning
- formal methods
- robot navigation
- multi agent
- situation calculus
- dynamical systems
- computation tree logic