Automatic Synthesis of Robust Embedded Control Software
Where's Waldo? Sensor-Based Temporal Logic Motion Planning