Journal publications

• H. Kress-Gazit, G. E. Fainekos and G. J. Pappas,Temporal Logic-based Reactive Mission and Motion Planning. IEEE Transactions on Robotics, To Appear
• G. E. Fainekos, A. Girard, H. Kress-Gazit and G. J. Pappas, Temporal Logic Motion Planning for Dynamic Mobile Robots. Automatica, Volume 45, Issue 2, February 2009, Pages 343-352, Elsevier
• H. Kress-Gazit, G. E. Fainekos and G. J. Pappas, Translating Structured English to Robot Controllers. Invited paper, Advanced Robotics Special Issue on Selected Papers from IROS 2007, Vol. 22, No. 12, pp. 1343-1359, 2008.
• H. Kress-Gazit, D. C. Conner, H. Choset, A. Rizzi and G. J. Pappas, Courteous cars: Decentralized multiagent traffic coordination. Special Issue of the IEEE Robotics and Automation Magazine on Multi-Agent Robotics, March 2008. Simulation video
  

Thesis

• H. Kress-Gazit, Transforming high level tasks to low level controllers. PhD dissertation, Department of Electrical and Systems Engineering, University of Pennsylvania, 2008.

Conference Proceedings

• H. Kress-Gazit, N. Ayanian, G. J. Pappas and V. Kumar, Recycling Controllers, IEEE Conference on Automation Science and Engineering, Washington DC, August 2008.
• H. Kress-Gazit and G. J. Pappas, Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge, IEEE Conference on Automation Science and Engineering, Washington DC, August 2008. (8 page version) Simulation video
• D. C. Conner, H. Kress-Gazit, H. Choset, A. Rizzi and G. J. Pappas, Valet Parking Without a Valet. In the Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, San Diego, October 2007. Finalist, Best Paper Award
• H. Kress-Gazit, G. E. Fainekos and G. J. Pappas, From Structured English to Robot Motion. In the Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, San Diego, October 2007
• H. Kress-Gazit, G. E. Fainekos and G. J. Pappas, Where’s Waldo? Sensor-Based Temporal Logic Motion Planning. In the Proceedings of the 2007 International Conference on Robotics and Automation, Rome, Italy, April 2007. Finalist, Best Student Paper Award
• G. E. Fainekos, H. Kress-Gazit and G. J. Pappas, Hybrid Controllers for Path Planning: A Temporal Logic Approach. In the Proceedings of the 44th IEEE Conference on Decision and Control, Seville, December 2005
• G. E. Fainekos, H. Kress-Gazit and G. J. Pappas, Temporal Logic Motion Planning for Mobile Robots. In the Proceedings of the International Conference on Robotics and Automation, Barcelona, April 2005

Technical Reports

• G. E. Fainekos, A. Girard, H. Kress-Gazit and G. J. Pappas, Temporal Logic Motion Planning for Dynamic Mobile Robots. Technical Report MS-CIS-07-02, Department of CIS, University of Pennsylvania, January 2007