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: CoDIT (2023)
Keyphrases
- simultaneous localization and mapping
- mobile robotics
- mobile robot
- dynamic environments
- multi robot systems
- autonomous robots
- multiple robots
- multi robot
- motion planning
- path planning
- robotic systems
- autonomous systems
- indoor environments
- autonomous navigation
- bounded model checking
- belief space
- temporal logic
- plan execution
- single agent
- collision avoidance
- collision free
- reactive systems
- autonomous agents
- potential field
- real environment
- changing environment
- sensory information
- control system
- human operators
- model checking
- planning problems
- unmanned aerial vehicles
- path finding
- heuristic search