Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. - Haesaert, Sofie; Thakker, Rohan; Nilsson, Petter; Agha-Mohammadi, Ali-Akbar; Murray, Richard M. (2019)