Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces | IEEE Conference Publication | IEEE Xplore