Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments.
Pian YuGianmarco FedeliDimos V. DimarogonasPublished in: CoRR (2023)
Keyphrases
- dynamic environments
- multi robot systems
- mobile robot
- multiple robots
- path planning
- autonomous robots
- autonomous systems
- collision avoidance
- multi robot
- belief space
- bounded model checking
- changing environment
- plan execution
- autonomous agents
- single agent
- motion planning
- reactive systems
- temporal logic
- robotic systems
- potential field
- collision free
- control system
- autonomous navigation
- indoor environments
- unmanned aerial vehicles
- model checking
- human operators
- reinforcement learning agents
- simultaneous localization and mapping
- real time
- robot navigation
- planning problems
- real environment
- classical planning
- path finding
- domain independent
- search algorithm
- learning algorithm