Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps

January 19th, 2021