Publications

Export 62 results:
[ Author(Desc)] Keyword Title Type Year
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 
C
S. Castro, Koehler, S., and Kress-Gazit, H., High-level control of modular robots, in EEE/RSJ International Conference on Intelligent Robots and Systems, 2011, pp. 3120-3125.
D. C. Conner, Kress-Gazit, H., Choset, H., Rizzi, A. A., and Pappas, G. J., Valet parking without a valet, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, 2007, pp. 572-577.
E
R. Ehlers, Seshia, S. A., and Kress-Gazit, H., Synthesis with Identifiers, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.
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.

Pages