Temporal Logic Motion Planning for Mobile Robots

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

Abstract is missing.