Publications
Export 57 results:
Author Keyword Title Type [ Year
Filters: Author is Hadas Kress-Gazit [Clear All Filters]
“Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations”, in The International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 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.
, “Resilient Task Planning and Execution for Reactive Soft Robots”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
, “SMT-Based Control and Feedback for Social Navigation”, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
, “Specifying and Synthesizing Human-Robot Handovers”, in IEEE International Conference on Intelligent Robots and Systems (IROS), Macao SR, 2019.
, “Task-Based Design of Ad-hoc Modular Manipulators”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
, “Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)”, Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
, “Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field]”, IEEE Robot. Automat. Mag., vol. 26, pp. 7–10, 2019.
, “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.
, “Perception-Informed Autonomous Environment Augmentation with Modular Robots”, in International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, 2018.
, “Reactive Synthesis for Robotic Swarms”, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
, “Verifiable Control of Robotic Swarm from High-level Specifications”, in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) , Stockholm, Sweden, 2018.
, “Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)”, Dagstuhl Reports, vol. 7, pp. 48–63, 2017.
, “Contextual Awareness: Understanding Monologic Natural Language Instructions for Autonomous Robots”, in Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2017.
, “Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications”, in International Symposium on Multi-Robot and Multi-Agent Systems, Los Angeles, California, 2017.
, “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community”, in International Joint Conference on Artificial Intelligence, 2017.
, “Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle”, Journal of Field Robotics, vol. 34, no. 5, p. 897--911, 2017.
, “Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers”, Journal of Software Engineering for Robotics (JOSER) - Special Issue on the IRC2017 Conference, vol. 8, no. 1, pp. 65-77, 2017.
, “Gait Synthesis for Modular Soft Robots”, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
, “Needed-based Coordination for Decentralized High-level Robot Control”, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
, “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors”, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
, “Analyzing and revising synthesized controllers for robots with sensing and actuation errors”, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
, “Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems”, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
, “Robot Creation from Functional Specifications”, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
, “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.
,