Robust control of uncertain Markov Decision Processes with temporal logic specifications
Where's Waldo? Sensor-Based Temporal Logic Motion Planning