Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas. Where s Waldo? Sensor-Based Temporal Logic Motion Planning. In 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy. pages 3116-3121, IEEE, 2007. [doi]
Abstract is missing.