Reactive Temporal Logic Planning for Multiple Robots in Unknown Environments.
Yiannis KantarosMatthew MalenciaVijay KumarGeorge J. PappasPublished in: ICRA (2020)
Keyphrases
- multiple robots
- temporal logic
- unknown environments
- autonomous robots
- mobile robot
- path planning
- reactive systems
- model checking
- exploration strategy
- multi robot
- robot navigation
- obstacle avoidance
- collision avoidance
- temporally extended goals
- motion planning
- robotic systems
- indoor environments
- dynamic environments
- simultaneous localization and mapping
- free space
- belief revision
- mobile robotics
- autonomous navigation