Director: A User Interface Designed for Robot Operation with Shared Autonomy
Where's Waldo? Sensor-Based Temporal Logic Motion Planning