Planning and Control of Multi-Robot-Object Systems under Temporal Logic Tasks and Uncertain Dynamics.
Christos K. VerginisYiannis KantarosDimos V. DimarogonasPublished in: CoRR (2022)
Keyphrases
- temporal logic
- multi robot
- uncertain environments
- multiple robots
- robot teams
- autonomous systems
- motion planning
- dynamic constraints
- robotic systems
- mobile robot
- model checking
- reactive systems
- multi robot systems
- path planning
- temporally extended goals
- autonomous robots
- modal logic
- control system
- distributed systems
- temporally extended
- transition systems
- multi robot exploration
- initially unknown
- human operators
- dynamical systems
- search and rescue
- real robot
- formation control
- action selection
- heuristic search