Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks.
Lars LindemannDimos V. DimarogonasPublished in: CoRR (2021)
Keyphrases
- temporal logic
- multiple robots
- autonomous robots
- model checking
- path planning
- modal logic
- multi robot
- mobile robot
- collision avoidance
- robot navigation
- multi robot exploration
- robotic systems
- control system
- ant colony
- verification method
- mazurkiewicz traces
- belief revision
- software agents
- dynamic constraints
- linear temporal logic
- computation tree logic
- control strategy
- intelligent agents
- transition systems
- artificial intelligence