Publications

Export 57 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
2019
A. Pacheck, Konidaris, G., and Kress-Gazit, H., “Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations”, in The International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 2019.
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.
S. Hamill, Whitehead, J., Ferenz, P., Shepherd, R. F., and Kress-Gazit, H., “Resilient Task Planning and Execution for Reactive Soft Robots”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
T. Campos, Pacheck, A., Hoffman, G., and Kress-Gazit, H., “SMT-Based Control and Feedback for Social Navigation”, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
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.
T. Campos, Inala, J. Priya, Solar-Lezama, A., and Kress-Gazit, H., “Task-Based Design of Ad-hoc Modular Manipulators”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
R. Alami, Eder, K. I., Hoffman, G., and Kress-Gazit, H., “Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)”, Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
L. E. Clement, Peretroukhin, V., Giamou, M., Leonard, J. J., Kress-Gazit, H., How, J. P., Milford, M., Brock, O., Gariepy, R., Roy, N., Siegel, H., Righetti, L., Billard, A., and Kelly, J., “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.
2018
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.
T. Tosun, Daudelin, J., Jing, G., Kress-Gazit, H., Campbell, M. E., and Yim, M., “Perception-Informed Autonomous Environment Augmentation with Modular Robots”, in International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, 2018.
S. Moarref and Kress-Gazit, H., “Reactive Synthesis for Robotic Swarms”, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
J. Chen, Moarref, S., and Kress-Gazit, H., “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.
2017
E. Abraham, Kress-Gazit, H., Natale, L., and Tacchella, A., “Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)”, Dagstuhl Reports, vol. 7, pp. 48–63, 2017.
J. Arkin, Walter, M. R., Boteanu, A., Napoli, M. E., Biggie, H., Kress-Gazit, H., and Howard, T. M., “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.
S. Moarref and Kress-Gazit, H., “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.
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community”, in International Joint Conference on Artificial Intelligence, 2017.
B. Johnson, Havlak, F., Kress-Gazit, H., and Campbell, M., “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.
K. Weng Wong and Kress-Gazit, H., “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.
2016
S. Hamill, Peele, B., Ferenz, P., Westwater, M., Shepherd, R. F., and Kress-Gazit, H., “Gait Synthesis for Modular Soft Robots”, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
K. Weng Wong and Kress-Gazit, H., “Needed-based Coordination for Decentralized High-level Robot Control”, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
J. A. DeCastro and Kress-Gazit, H., “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.
2015
B. Johnson and Kress-Gazit, H., “Analyzing and revising synthesized controllers for robots with sensing and actuation errors”, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
J. A. DeCastro, Alonso-Mora, J., Raman, V., Rus, D., and Kress-Gazit, H., “Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems”, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
A. Mehta, DelPreto, J., Wong, K. Weng, Hamill, S., Kress-Gazit, H., and Rus, D., “Robot Creation from Functional Specifications”, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
R. Alur, Bodík, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., and Udupa, A., “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.

Pages