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, 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.
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.
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.
C. Finucane, Jing, G., and Kress-Gazit, H., “Designing Reactive Robot Controllers with LTLMoP”, in Automated Action Planning for Autonomous Mobile Robots, 2011.