Publications

Export 6 results:
[ Author(Desc)] Keyword Title Type Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal Logic Motion Planning for Dynamic Robots. Dept. of CIS, Univ. of Pennsylvania, 2007.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for mobile robots, in IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for dynamic robots, Automatica, vol. 45, pp. 343 - 352, 2009.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Hybrid Controllers for Path Planning: A Temporal Logic Approach, in Proceedings of the 44th IEEE Conference on Decision and Control, 2005, pp. 4885 - 4890.
C. Finucane, Jing, G., and Kress-Gazit, H., Designing Reactive Robot Controllers with LTLMoP, in Automated Action Planning for Autonomous Mobile Robots, 2011.
C. Finucane, Jing, G., and Kress-Gazit, H., LTLMoP: Experimenting with Language, Temporal Logic and Robot Control, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Taipei, Taiwan, 2010, pp. 1988 - 1993.