Publications

Export 12 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is K  [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 
K
H. Kress-Gazit, “Transforming high-level tasks to low-level controllers”, University of Pennsylvania, Philadephia, PA, 2008.
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
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.
H. Kress-Gazit and Pappas, G. J., “Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions”, in IEEE International Conference on Robotics and Automation, Anchorage, Alaska, 2010, pp. 3215-3220.
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.
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, Lahijanian, M., and Raman, V., “Synthesis for Robots: Guarantees and Feedback for Robot Behavior”, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.
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.
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, “Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]”, IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
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.