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
|
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
|
|