Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps

Yiannis Kantaros, Matthew Malencia, George J. Pappas

This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The r…