Optimal temporal logic planning in probabilistic semantic maps

January 19th, 2021