Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps.
Yiannis KantarosMatthew MalenciaGeorge J. PappasPublished in: CoRR (2020)
Keyphrases
- temporal logic
- multiple robots
- path planning
- reactive systems
- topological map
- model checking
- multi robot
- autonomous robots
- mobile robot
- temporally extended goals
- ant colony
- modal logic
- collision avoidance
- multi robot exploration
- multiple targets
- computation tree logic
- temporally extended
- software agents
- verification method
- mazurkiewicz traces
- robot navigation
- collision free
- belief revision
- autonomous navigation
- domain independent
- heuristic search
- moving objects
- artificial intelligence