Publications

Export 64 results:
Author Keyword Title Type [ Year(Asc)]
2010
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.
2009
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., “Temporal Logic based Reactive Mission and Motion Planning”, IEEE Transactions on Robotics, vol. 25, pp. 1370–1381, 2009.
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.
2008
H. Kress-Gazit and Pappas, G. J., “Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge”, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
H. Kress-Gazit, Conner, D. C., Choset, H., Rizzi, A. A., and Pappas, G. J., “Courteous cars: Decentralized multi-agent traffic coordination”, Robotics and Automation Magazine, vol. 15, pp. 30-38, 2008.
H. Kress-Gazit, Ayanian, N., Pappas, G. J., and Kumar, V., “Recycling controllers”, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
H. Kress-Gazit, “Transforming high-level tasks to low-level controllers”, University of Pennsylvania, Philadephia, PA, 2008.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., “Translating Structured English to Robot Controllers”, Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, pp. 1343-1359, 2008.
2007
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., “From Structured English to Robot Motion”, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007, pp. 2717-2722.
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.
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.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., “Where's Waldo? Sensor-Based Temporal Logic Motion Planning”, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.
2005
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, 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.

Pages