Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas. Temporal Logic Motion Planning for Mobile Robots. In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain. pages 2020-2025, IEEE, 2005.
Abstract is missing.