Temporal Logic Path Planning under Localization Uncertainty. - Amit Dhyani; Indranil Saha (IROS, 2022)