| 2025 | IROS | Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair. | Ziyi Zhou, Qian Meng, Hadas Kress-Gazit, Ye Zhao |
| 2025 | RO-MAN | I Can't Help Myself! "Asking for Help" through an Elicitation Study in the Wild. | Claire Liang, Andy Elliot Ricci, Malte F. Jung, Hadas Kress-Gazit |
| 2023 | HRI | Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation. | Yuhan Hu, Jin Ryu, David Gundana, Kirstin H. Petersen, Hadas Kress-Gazit, Guy Hoffman |
| 2023 | HRI | Lessons From a Robot Asking for Directions In-the-wild. | Claire Liang, Andy Elliot Ricci, Hadas Kress-Gazit, Malte F. Jung |
| 2023 | ICRA | Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. | Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit |
| 2022 | ICRA | Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. | Amy Fang, Hadas Kress-Gazit |
| 2022 | IROS | Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. | Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit |
| 2022 | IROS | Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. | Himani Sinhmar, Hadas Kress-Gazit |
| 2022 | RO-MAN | Timing-Specified Controllers with Feedback for Human-Robot Handovers. | Alap Kshirsagar, Rahul Kumar Ravi, Hadas Kress-Gazit, Guy Hoffman |
| 2021 | ICRA | Learning and Planning for Temporally Extended Tasks in Unknown Environments. | Christopher Bradley, Adam Pacheck, Gregory J. Stein, Sebastian Castro, Hadas Kress-Gazit, Nicholas Roy |
| 2021 | ICRA | Homotopy-Driven Exploration of Human-made Spaces Using Signs. | Claire Liang, Hadas Kress-Gazit |
| 2020 | HRI | JESSIE: Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation and Beyond. | Alyssa Kubota, Emma I. C. Peterson, Vaishali Rajendren, Hadas Kress-Gazit, Laurel D. Riek |
| 2020 | ICRA | Finding Missing Skills for High-Level Behaviors. | Adam Pacheck, Salar Moarref, Hadas Kress-Gazit |
| 2020 | IROS | Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications. | Ji Chen, Hanlin Wang, Michael Rubenstein, Hadas Kress-Gazit |
| 2019 | ICRA | Task-Based Design of Ad-hoc Modular Manipulators. | Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit |
| 2019 | ICRA | SMT-Based Control and Feedback for Social Navigation. | Thais Campos, Adam Pacheck, Guy Hoffman, Hadas Kress-Gazit |
| 2019 | ICRA | Resilient Task Planning and Execution for Reactive Soft Robots. | Scott Hamill, John Whitehead, Peter Ferenz, Robert F. Shepherd, Hadas Kress-Gazit |
| 2019 | IROS | Specifying and Synthesizing Human-Robot Handovers. | Alap Kshirsagar, Hadas Kress-Gazit, Guy Hoffman |
| 2019 | ISRR | Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. | Adam Pacheck, George Konidaris, Hadas Kress-Gazit |
| 2018 | ICRA | Perception-Informed Autonomous Environment Augmentation with Modular Robots. | Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim |
| 2017 | IJCAI | An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. | Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit |
| 2017 | RO-MAN | Contextual awareness: Understanding monologic natural language instructions for autonomous robots. | Jacob Arkin, Matthew R. Walter, Adrian Boteanu, Michael E. Napoli, Harel Biggie, Hadas Kress-Gazit, Thomas M. Howard |
| 2016 | ICRA | Reactive high-level behavior synthesis for an Atlas humanoid robot. | Spyros Maniatopoulos, Philipp Schillinger, Vitchyr Pong, David C. Conner, Hadas Kress-Gazit |
| 2016 | IROS | A model for verifiable grounding and execution of complex natural language instructions. | Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress-Gazit |
| 2016 | IROS | Need-based coordination for decentralized high-level robot control. | Kai Weng Wong, Hadas Kress-Gazit |
| 2015 | ICRA | Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. | Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit |
| 2015 | ICRA | Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace. | Kai Weng Wong, Hadas Kress-Gazit |
| 2015 | ISRR | Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. | Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit |
| 2015 | ISRR | Robot Creation from Functional Specifications. | Ankur M. Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus |
| 2015 | ISRR | Computer-Aided Compositional Design and Verification for Modular Robots. | Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim |
| 2014 | ICRA | Open-world mission specification for reactive robots. | Spyros Maniatopoulos, Matthew Blair, Cameron Finucane, Hadas Kress-Gazit |
| 2014 | ICRA | Synthesis for multi-robot controllers with interleaved motion. | Vasumathi Raman, Hadas Kress-Gazit |
| 2014 | VMCAI | Synthesis with Identifiers. | Rdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit |
| 2013 | ICRA | Improving the continuous execution of reactive LTL-based controllers. | Gangyuan Jing, Hadas Kress-Gazit |
| 2013 | ICRA | Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. | Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit |
| 2013 | IROS | Guaranteeing reactive high-level behaviors for robots with complex dynamics. | Jonathan A. DeCastro, Hadas Kress-Gazit |
| 2013 | IROS | Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. | Gangyuan Jing, Rdiger Ehlers, Hadas Kress-Gazit |
| 2013 | IROS | Analyzing and revising high-level robot behaviors under actuator error. | Benjamin Johnson, Hadas Kress-Gazit |
| 2013 | IROS | Towards minimal explanations of unsynthesizability for high-level robot behaviors. | Vasumathi Raman, Hadas Kress-Gazit |
| 2013 | IROS | Provably-correct robot control with LTLMoP, OMPL and ROS. | Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit |
| 2012 | HRI | Situation understanding bot through language and environment. | Daniel J. Brooks, Constantine Lignos, Mikhail S. Medvedev, Ian Perera, Cameron Finucane, Vasumathi Raman, Abraham Shultz, Sean McSheehy, Adam Norton, Hadas Kress-Gazit, Mitchell P. Marcus, Holly A. Yanco |
| 2012 | ICRA | Correct high-level robot control from structured English. | Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit |
| 2012 | ICRA | Execution and analysis of high-level tasks with dynamic obstacle anticipation. | Benjamin Johnson, Frank Havlak, Mark E. Campbell, Hadas Kress-Gazit |
| 2012 | ICRA | Automated feedback for unachievable high-level robot behaviors. | Vasumathi Raman, Hadas Kress-Gazit |
| 2012 | IROS | Temporal logic robot mission planning for slow and fast actions. | Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit |
| 2012 | IROS | Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. | Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit |
| 2011 | AAAI | Designing Reactive Robot Controllers with LTLMoP. | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit |
| 2011 | CAV | Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. | Vasumathi Raman, Hadas Kress-Gazit |
| 2011 | IROS | High-level control of modular robots. | Sebastian Castro, Sarah Muraoka Koehler, Hadas Kress-Gazit |
| 2010 | ICRA | Automatic synthesis of robot controllers for tasks with locative prepositions. | Hadas Kress-Gazit, George J. Pappas |
| 2010 | IROS | LTLMoP: Experimenting with language, Temporal Logic and robot control. | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit |
| 2010 | IVA | Constraints-Based Complex Behavior in Rich Environments. | Jan M. Allbeck, Hadas Kress-Gazit |
| 2007 | ICRA | Where's Waldo? Sensor-Based Temporal Logic Motion Planning. | Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas |
| 2007 | IROS | Valet parking without a valet. | David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas |
| 2007 | IROS | From structured english to robot motion. | Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas |
| 2005 | ICRA | Temporal Logic Motion Planning for Mobile Robots. | Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas |