Planning and control of multi-robot-object systems under temporal logic tasks and uncertain dynamics.
Christos K. VerginisYiannis KantarosDimos V. DimarogonasPublished in: Robotics Auton. Syst. (2024)
Keyphrases
- temporal logic
- multi robot
- multiple robots
- uncertain environments
- robot teams
- autonomous systems
- robotic systems
- dynamic constraints
- model checking
- motion planning
- mobile robot
- path planning
- modal logic
- multi robot systems
- autonomous robots
- human operators
- reactive systems
- temporally extended goals
- multi agent
- multi robot exploration
- search and rescue
- control strategy
- transition systems
- distributed systems
- formation control
- search space
- moving objects
- video sequences