LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
Where's Waldo? Sensor-Based Temporal Logic Motion Planning