Publications

Export 16 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
A. Kubota, Peterson, E., Rajendren, V., Kress-Gazit, H., and Riek, L., “JESSIE: Synthesizing social robot behaviors for personalized neurorehabilitation and beyond”, in In Proceedings of the ACM/IEEE International Conference on Human Robot Interaction (HRI) 2020, In Press.
A. Kshirsagar, Kress-Gazit, H., and Hoffman, G., “Human-Robot Handovers with Signal Temporal Logic Specifications”, in the 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) - Late Breaking Report, New Delhi, India, 2019.
A. Kshirsagar, Kress-Gazit, H., and Hoffman, G., “Specifying and Synthesizing Human-Robot Handovers”, in IEEE International Conference on Intelligent Robots and Systems (IROS), Macao SR, 2019.
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.
H. Kress-Gazit and Torfah, H., “The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems”, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 2018.
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.