Where’s Waldo? Sensor-based temporal logic motion planning