Publications
Export 16 results:
[ Author
Filters: First Letter Of Last Name is K [Clear All Filters]
“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.
, “Specifying and Synthesizing Human-Robot Handovers”, in IEEE International Conference on Intelligent Robots and Systems (IROS), Macao SR, 2019.
, “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.
, “Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions”, in IEEE International Conference on Robotics and Automation, Anchorage, Alaska, 2010, pp. 3215-3220.
, “Translating Structured English to Robot Controllers”, Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, pp. 1343-1359, 2008.
, “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.
, “Courteous cars: Decentralized multi-agent traffic coordination”, Robotics and Automation Magazine, vol. 15, pp. 30-38, 2008.
, “Synthesis for Robots: Guarantees and Feedback for Robot Behavior”, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.
, “From Structured English to Robot Motion”, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007, pp. 2717-2722.
, “Recycling controllers”, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
, “Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]”, IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
, “Where's Waldo? Sensor-Based Temporal Logic Motion Planning”, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.
, “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.
, “Transforming high-level tasks to low-level controllers”, University of Pennsylvania, Philadephia, PA, 2008.
, “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
, “Temporal Logic based Reactive Mission and Motion Planning”, IEEE Transactions on Robotics, vol. 25, pp. 1370–1381, 2009.
,