2022
Temporal Logic Path Planning under Localization Uncertainty
IROS 2022poster
We present a method to find the optimal control strategy for a robot using prior information of localization that maximizes the probability of satisfaction of a temporal logic specification while considering the uncertainty in both motion and sensing, two major causes for localization uncertainty. T…