Hadas Kress-Gazit

156 papers A* 27A 20B 5C 1Journal 72Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A careful examination of large behavior models for multitask dexterous manipulation. Sci. Robotics Jose A. Barreiros, Andrew Beaulieu, Aditya Bhat, Rick Cory, Eric Cousineau, Hongkai Dai, Ching-Hsin Fang, Kunimatsu Hashimoto, Muhammad Zubair Irshad, Masha Itkina, Naveen Kuppuswamy, Kuan-Hui Lee, Katherine Liu, Dale McConachie, Ian McMahon, Haruki Nishimura, Calder Phillips-Grafflin, Charles Richter, Paarth Shah, Krishnan Srinivasan, Blake Wulfe, Chen Xu, Mengchao Zhang, Alex Alspach, Maya Angeles, Kushal Arora, Vitor Campagnolo Guizilini, Alejandro M. Castro, Dian Chen, Ting-Sheng Chu, Sam Creasey, Sean Curtis, Richard Denitto, Emma Dixon, Eric Dusel, Matthew Ferreira, Aimee Goncalves, Grant Gould, Damrong Guoy, Swati Gupta, Xuchen Han, Kyle Hatch, Brendan Hathaway, Allison Henry, Hillel Hochsztein, Phoebe Horgan, Shun Iwase, Donovon Jackson, Siddharth Karamcheti, Sedrick Keh, Joseph Masterjohn, Masayuki Masuda, Jean Mercat, Patrick Tree Miller, Paul Mitiguy, Tony Nguyen, Jeremy Nimmer, Yuki Noguchi, Reko Ong, Aykut Özgün Önol, Owen Pfannenstiehl, Richard Poyner, Leticia Priebe Rocha, Gordon Richardson, Christopher Rodriguez, Derick Seale, Michael A. Sherman, Mariah Smith-Jones, David Tago, Pavel Tokmakov, Matthew Tran, Basile Van Hoorick, Igor Vasiljevic, Sergey Zakharov, Mark Zolotas, Rares Ambrus, Kerri Fetzer-Borelli, Benjamin Burchfiel, Hadas Kress-Gazit, Siyuan Feng, Stacie Ford, Russ Tedrake
2026	J	`jnl`	Impact of Different Failures on a Robot's Perceived Reliability. CoRR Andrew Violette, Zhanxin Wu, Haruki Nishimura, Masha Itkina, Leticia Priebe Rocha, Mark Zolotas, Guy Hoffman, Hadas Kress-Gazit
2026	J	`jnl`	Online Modifications of High-Level Swarm Behaviors. IEEE Robotics Autom. Lett. Bo-Ruei Huang, Hadas Kress-Gazit
2025	B	`conf`	I Can't Help Myself! "Asking for Help" through an Elicitation Study in the Wild. RO-MAN Claire Liang, Andy Elliot Ricci, Malte F. Jung, Hadas Kress-Gazit
2025	—	`conf`	INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations. CASE Qian Meng, Jin Peng Zhou, Kilian Q. Weinberger, Hadas Kress-Gazit
2025	J	`jnl`	INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations. CoRR Qian Meng, Jin Peng Zhou, Kilian Q. Weinberger, Hadas Kress-Gazit
2025	J	`jnl`	Online Resynthesis of High-Level Collaborative Tasks for Robots With Changing Capabilities. IEEE Robotics Autom. Lett. Amy Fang, Tenny Yin, Hadas Kress-Gazit
2025	A	`conf`	Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair. IROS Ziyi Zhou, Qian Meng, Hadas Kress-Gazit, Ye Zhao
2025	J	`jnl`	Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair. CoRR Ziyi Zhou, Qian Meng, Hadas Kress-Gazit, Ye Zhao
2025	J	`jnl`	Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion. CoRR Ziyi Zhou, Qian Meng, Hadas Kress-Gazit, Ye Zhao
2025	J	`jnl`	Report on NSF Workshop on Science of Safe AI. CoRR Rajeev Alur, Greg Durrett, Hadas Kress-Gazit, Corina S. Pasareanu, René Vidal
2025	—	`conf`	Robust Task-Based Design of Modular Manipulators for Single Joint Failure. CASE Tenny Yin, Thais Campos Farley, Hadas Kress-Gazit
2024	—	`conf`	Automated Robot Recovery from Assumption Violations of High-Level Specifications. CASE Qian Meng, Hadas Kress-Gazit
2024	J	`jnl`	Automated Robot Recovery from Assumption Violations of High-Level Specifications. CoRR Qian Meng, Hadas Kress-Gazit
2024	J	`jnl`	Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams. CoRR Amy Fang, Tenny Yin, Jiawei Lin, Hadas Kress-Gazit
2024	J	`jnl`	Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist Robotic Swarm. IEEE Trans. Robotics Himani Sinhmar, Hadas Kress-Gazit
2024	A	`conf`	High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents. AAMAS Amy Fang, Hadas Kress-Gazit
2024	J	`jnl`	High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents. CoRR Amy Fang, Hadas Kress-Gazit
2024	J	`jnl`	Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots. CoRR Himani Sinhmar, Hadas Kress-Gazit
2024	J	`jnl`	Online Modifications for Event-Based Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. David Gundana, Hadas Kress-Gazit
2024	J	`jnl`	Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities. CoRR Amy Fang, Tenny Yin, Hadas Kress-Gazit
2024	J	`jnl`	Robot Learning as an Empirical Science: Best Practices for Policy Evaluation. CoRR Hadas Kress-Gazit, Kunimatsu Hashimoto, Naveen Kuppuswamy, Paarth Shah, Phoebe Horgan, Gordon Richardson, Siyuan Feng, Benjamin Burchfiel
2023	J	`jnl`	Automatic encoding and repair of reactive high-level tasks with learned abstract representations. Int. J. Robotics Res. Adam Pacheck, Steven James, George Dimitri Konidaris, Hadas Kress-Gazit
2023	J	`jnl`	Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. IEEE Trans. Robotics Wil Thomason, Hadas Kress-Gazit
2023	J	`jnl`	Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. CoRR Guy Scher, Sadra Sadraddini, Ariel Yadin, Hadas Kress-Gazit
2023	J	`jnl`	Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm. CoRR Himani Sinhmar, Hadas Kress-Gazit
2023	—	`conf`	Lessons From a Robot Asking for Directions In-the-wild. HRI (Companion) Claire Liang, Andy Elliot Ricci, Hadas Kress-Gazit, Malte F. Jung
2023	A*	`conf`	Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation. HRI Yuhan Hu, Jin Ryu, David Gundana, Kirstin H. Petersen, Hadas Kress-Gazit, Guy Hoffman
2023	J	`jnl`	Online Modifications for Event-based Signal Temporal Logic Specifications. CoRR David Gundana, Hadas Kress-Gazit
2023	J	`jnl`	Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks. IEEE Trans. Robotics Adam Pacheck, Hadas Kress-Gazit
2023	A*	`conf`	Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. ICRA Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
2022	A*	`conf`	Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. ICRA Amy Fang, Hadas Kress-Gazit
2022	J	`jnl`	Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. CoRR Amy Fang, Hadas Kress-Gazit
2022	J	`jnl`	Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. CoRR Adam Pacheck, Steven James, George Konidaris, Hadas Kress-Gazit
2022	A	`conf`	Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. IROS Himani Sinhmar, Hadas Kress-Gazit
2022	J	`jnl`	Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. CoRR Himani Sinhmar, Hadas Kress-Gazit
2022	—	`conf`	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. HSCC Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit
2022	J	`jnl`	Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. CoRR Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit
2022	J	`jnl`	Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments. IEEE Robotics Autom. Lett. David Gundana, Hadas Kress-Gazit
2022	J	`jnl`	Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks. CoRR Adam Pacheck, Hadas Kress-Gazit
2022	A	`conf`	Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. IROS Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit
2022	B	`conf`	Timing-Specified Controllers with Feedback for Human-Robot Handovers. RO-MAN Alap Kshirsagar, Rahul Kumar Ravi, Hadas Kress-Gazit, Guy Hoffman
2021	J	`jnl`	Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. CoRR Wil Thomason, Hadas Kress-Gazit
2021	—	`conf`	Distributed Control of Robotic Swarms from Reactive High-Level Specifications. CASE Ji Chen, Ruojia Sun, Hadas Kress-Gazit
2021	—	`conf`	Errors in Collective Robotic Construction. DARS Jiahe Chen, Yifang Liu, Adam Pacheck, Hadas Kress-Gazit, Nils Napp, Kirstin Petersen
2021	J	`jnl`	Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. IEEE Robotics Autom. Lett. David Gundana, Hadas Kress-Gazit
2021	J	`jnl`	Formalizing and guaranteeing human-robot interaction. Commun. ACM Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
2021	J	`jnl`	Gender Diversity of Conference Leadership [Women in Engineering]. IEEE Robotics Autom. Mag. Laura Graesser, Aleksandra Faust, Hadas Kress-Gazit, Lydia Tapia, Risa Ulinski
2021	A*	`conf`	Homotopy-Driven Exploration of Human-made Spaces Using Signs. ICRA Claire Liang, Hadas Kress-Gazit
2021	A*	`conf`	Learning and Planning for Temporally Extended Tasks in Unknown Environments. ICRA Christopher Bradley, Adam Pacheck, Gregory J. Stein, Sebastian Castro, Hadas Kress-Gazit, Nicholas Roy
2021	J	`jnl`	Learning and Planning for Temporally Extended Tasks in Unknown Environments. CoRR Christopher Bradley, Adam Pacheck, Gregory J. Stein, Sebastian Castro, Hadas Kress-Gazit, Nicholas Roy
2021	J	`jnl`	Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints. CoRR Thais Campos, Hadas Kress-Gazit
2020	—	`conf`	Automated Synthesis of Modular Manipulators' Structure and Control for Continuous Tasks around Obstacles. Robotics: Science and Systems Thais Campos de Almeida, Samhita Marri, Hadas Kress-Gazit
2020	J	`jnl`	Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications. Auton. Robots Salar Moarref, Hadas Kress-Gazit
2020	A	`conf`	Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications. IROS Ji Chen, Hanlin Wang, Michael Rubenstein, Hadas Kress-Gazit
2020	J	`jnl`	Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. CoRR David Gundana, Hadas Kress-Gazit
2020	A*	`conf`	Finding Missing Skills for High-Level Behaviors. ICRA Adam Pacheck, Salar Moarref, Hadas Kress-Gazit
2020	J	`jnl`	Formalizing and Guaranteeing* Human-Robot Interaction. CoRR Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
2020	J	`jnl`	Guest Editorial: Robotics: Science and Systems 2018 (RSS 2018). Auton. Robots Thomas M. Howard, Amanda Prorok, Hadas Kress-Gazit
2020	A*	`conf`	JESSIE: Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation and Beyond. HRI Alyssa Kubota, Emma I. C. Peterson, Vaishali Rajendren, Hadas Kress-Gazit, Laurel D. Riek
2020	J	`jnl`	Robots That Use Language. Annu. Rev. Control. Robotics Auton. Syst. Stefanie Tellex, Nakul Gopalan, Hadas Kress-Gazit, Cynthia Matuszek
2020	—	`conf`	Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees. CASE Guy Scher, Hadas Kress-Gazit
2019	C	`conf`	Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. ISRR Adam Pacheck, George Konidaris, Hadas Kress-Gazit
2019	A*	`conf`	Resilient Task Planning and Execution for Reactive Soft Robots. ICRA Scott Hamill, John Whitehead, Peter Ferenz, Robert F. Shepherd, Hadas Kress-Gazit
2019	—	`ed.`	Robotics: Science and Systems XV, University of Freiburg, Freiburg im Breisgau, Germany, June 22-26, 2019. Robotics: Science and Systems Antonio Bicchi, Hadas Kress-Gazit, Seth Hutchinson
2019	A*	`conf`	SMT-Based Control and Feedback for Social Navigation. ICRA Thais Campos, Adam Pacheck, Guy Hoffman, Hadas Kress-Gazit
2019	A	`conf`	Specifying and Synthesizing Human-Robot Handovers. IROS Alap Kshirsagar, Hadas Kress-Gazit, Guy Hoffman
2019	A*	`conf`	Task-Based Design of Ad-hoc Modular Manipulators. ICRA Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit
2019	J	`jnl`	Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). Dagstuhl Reports Rachid Alami, Kerstin I. Eder, Guy Hoffman, Hadas Kress-Gazit
2019	J	`jnl`	Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field]. IEEE Robotics Autom. Mag. Lee E. Clement, Valentin Peretroukhin, Matthew Giamou, John J. Leonard, Hadas Kress-Gazit, Jonathan P. How, Michael Milford, Oliver Brock, Ryan Gariepy, Nicholas Roy, Hallie Siegel, Ludovic Righetti, Aude Billard, Jonathan Kelly
2018	J	`jnl`	Accomplishing high-level tasks with modular robots. Auton. Robots Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2018	J	`jnl`	An integrated system for perception-driven autonomy with modular robots. Sci. Robotics Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit, Mark E. Campbell
2018	A*	`conf`	Perception-Informed Autonomous Environment Augmentation with Modular Robots. ICRA Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim
2018	—	`conf`	Reactive Synthesis for Robotic Swarms. FORMATS Salar Moarref, Hadas Kress-Gazit
2018	J	`jnl`	Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Auton. Robots Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit
2018	J	`jnl`	Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Trans. Robotics Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
2018	J	`jnl`	Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2018	—	`ed.`	Robotics: Science and Systems XIV, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, June 26-30, 2018 Robotics: Science and Systems Hadas Kress-Gazit, Siddhartha S. Srinivasa, Tom Howard, Nikolay Atanasov
2018	J	`jnl`	Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman
2018	—	`conf`	The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. CREST Hadas Kress-Gazit, Hazem Torfah
2018	A	`conf`	Verifiable Control of Robotic Swarm from High-level Specifications. AAMAS Ji Chen, Salar Moarref, Hadas Kress-Gazit
2017	J	`jnl`	Accomplishing High-Level Tasks with Modular Robots. CoRR Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2017	A*	`conf`	An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. IJCAI Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2017	J	`jnl`	An Integrated System for Perception-Driven Autonomy with Modular Robots. CoRR Jonathan Daudelin, Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit, Mark E. Campbell
2017	J	`jnl`	Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
2017	J	`jnl`	Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots. J. Field Robotics Alberto Romay, Stefan Kohlbrecher, Alexander Stumpf, Oskar von Stryk, Spyros Maniatopoulos, Hadas Kress-Gazit, Philipp Schillinger, David C. Conner
2017	J	`jnl`	Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella
2017	B	`conf`	Contextual awareness: Understanding monologic natural language instructions for autonomous robots. RO-MAN Jacob Arkin, Matthew R. Walter, Adrian Boteanu, Michael E. Napoli, Harel Biggie, Hadas Kress-Gazit, Thomas M. Howard
2017	—	`conf`	Decentralized control of robotic swarms from high-level temporal logic specifications. MRS Salar Moarref, Hadas Kress-Gazit
2017	J	`jnl`	Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle. J. Field Robotics Benjamin Johnson, Frank Havlak, Hadas Kress-Gazit, Mark E. Campbell
2017	—	`conf`	From High-Level Task Specification to Robot Operating System (ROS) Implementation. IRC Kai Weng Wong, Hadas Kress-Gazit
2017	J	`jnl`	Perception-Informed Autonomous Environment Augmentation With Modular Robots. CoRR Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim
2017	J	`jnl`	Robot-Initiated Specification Repair through Grounded Language Interaction. CoRR Adrian Boteanu, Jacob Arkin, Siddharth Patki, Thomas M. Howard, Hadas Kress-Gazit
2016	A	`conf`	A model for verifiable grounding and execution of complex natural language instructions. IROS Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress-Gazit
2016	—	`conf`	An End-To-End System for Accomplishing Tasks with Modular Robots. Robotics: Science and Systems Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit
2016	—	`conf`	Gait Synthesis for Modular Soft Robots. ISER Scott Hamill, Bryan Peele, Peter Ferenz, Max Westwater, Robert F. Shepherd, Hadas Kress-Gazit
2016	J	`jnl`	Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi
2016	A	`conf`	Need-based coordination for decentralized high-level robot control. IROS Kai Weng Wong, Hadas Kress-Gazit
2016	—	`conf`	Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. HSCC Jonathan A. DeCastro, Hadas Kress-Gazit
2016	A*	`conf`	Reactive high-level behavior synthesis for an Atlas humanoid robot. ICRA Spyros Maniatopoulos, Philipp Schillinger, Vitchyr Pong, David C. Conner, Hadas Kress-Gazit
2016	J	`jnl`	Resource-Performance Trade-off Analysis for Mobile Robots. CoRR María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2015	J	`jnl`	Analyzing and revising synthesized controllers for robots with sensing and actuation errors. Int. J. Robotics Res. Benjamin Johnson, Hadas Kress-Gazit
2015	—	`conf`	Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. ISRR (1) Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit
2015	—	`conf`	Computer-Aided Compositional Design and Verification for Modular Robots. ISRR (1) Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim
2015	A*	`conf`	Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. ICRA Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit
2015	A*	`conf`	Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace. ICRA Kai Weng Wong, Hadas Kress-Gazit
2015	J	`jnl`	Provably correct reactive control from natural language. Auton. Robots Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit
2015	—	`conf`	Robot Creation from Functional Specifications. ISRR (2) Ankur M. Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus
2015	—	`ch.`	Syntax-Guided Synthesis. Dependable Software Systems Engineering Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2015	J	`jnl`	Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors. Int. J. Robotics Res. Jonathan A. DeCastro, Hadas Kress-Gazit
2015	J	`jnl`	Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit
2014	—	`conf`	Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit
2014	J	`jnl`	Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
2014	A*	`conf`	Open-world mission specification for reactive robots. ICRA Spyros Maniatopoulos, Matthew Blair, Cameron Finucane, Hadas Kress-Gazit
2014	A*	`conf`	Synthesis for multi-robot controllers with interleaved motion. ICRA Vasumathi Raman, Hadas Kress-Gazit
2014	B	`conf`	Synthesis with Identifiers. VMCAI Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit
2014	J	`jnl`	Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. CoRR Vasumathi Raman, Hadas Kress-Gazit
2013	A	`conf`	Analyzing and revising high-level robot behaviors under actuator error. IROS Benjamin Johnson, Hadas Kress-Gazit
2013	J	`jnl`	Explaining Impossible High-Level Robot Behaviors. IEEE Trans. Robotics Vasumathi Raman, Hadas Kress-Gazit
2013	A	`conf`	Guaranteeing reactive high-level behaviors for robots with complex dynamics. IROS Jonathan A. DeCastro, Hadas Kress-Gazit
2013	A*	`conf`	Improving the continuous execution of reactive LTL-based controllers. ICRA Gangyuan Jing, Hadas Kress-Gazit
2013	—	`conf`	Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi
2013	A*	`conf`	Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit
2013	A	`conf`	Provably-correct robot control with LTLMoP, OMPL and ROS. IROS Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit
2013	A	`conf`	Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. IROS Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit
2013	—	`conf`	Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. Robotics: Science and Systems Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton C. T. Lee, Mitchell P. Marcus, Hadas Kress-Gazit
2013	A	`conf`	Towards minimal explanations of unsynthesizability for high-level robot behaviors. IROS Vasumathi Raman, Hadas Kress-Gazit
2012	A*	`conf`	Automated feedback for unachievable high-level robot behaviors. ICRA Vasumathi Raman, Hadas Kress-Gazit
2012	A	`conf`	Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. IROS Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit
2012	A*	`conf`	Correct high-level robot control from structured English. ICRA Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit
2012	A*	`conf`	Execution and analysis of high-level tasks with dynamic obstacle anticipation. ICRA Benjamin Johnson, Frank Havlak, Mark E. Campbell, Hadas Kress-Gazit
2012	—	`conf`	Guaranteeing High-Level Behaviors while Exploring Partially Known Maps. Robotics: Science and Systems Shahar Sarid, Bingxin Xu, Hadas Kress-Gazit
2012	J	`jnl`	Probabilistic guarantees for high-level robot behavior in the presence of sensor error. Auton. Robots Benjamin Johnson, Hadas Kress-Gazit
2012	A*	`conf`	Situation understanding bot through language and environment. HRI 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	A	`conf`	Temporal logic robot mission planning for slow and fast actions. IROS Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit
2011	A*	`conf`	Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. CAV Vasumathi Raman, Hadas Kress-Gazit
2011	J	`jnl`	Correct, Reactive, High-Level Robot Control. IEEE Robotics Autom. Mag. Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu
2011	—	`conf`	Designing Reactive Robot Controllers with LTLMoP. Automated Action Planning for Autonomous Mobile Robots Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit
2011	A	`conf`	High-level control of modular robots. IROS Sebastian Castro, Sarah Muraoka Koehler, Hadas Kress-Gazit
2011	—	`conf`	Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error. Robotics: Science and Systems Benjamin Johnson, Hadas Kress-Gazit
2011	J	`jnl`	Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]. IEEE Robotics Autom. Mag. Hadas Kress-Gazit
2011	J	`jnl`	Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors]. IEEE Robotics Autom. Mag. Hadas Kress-Gazit
2010	A*	`conf`	Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA Hadas Kress-Gazit, George J. Pappas
2010	B	`conf`	Constraints-Based Complex Behavior in Rich Environments. IVA Jan M. Allbeck, Hadas Kress-Gazit
2010	A	`conf`	LTLMoP: Experimenting with language, Temporal Logic and robot control. IROS Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit
2009	J	`jnl`	Temporal logic motion planning for dynamic robots. Autom. Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas
2009	J	`jnl`	Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. Robotics Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2008	—	`conf`	Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. CASE Hadas Kress-Gazit, George J. Pappas
2008	J	`jnl`	Courteous Cars. IEEE Robotics Autom. Mag. Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, George J. Pappas
2008	—	`conf`	Recycling controllers. CASE Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, Vijay Kumar
2008	J	`jnl`	Translating Structured English to Robot Controllers. Adv. Robotics Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2007	A	`conf`	From structured english to robot motion. IROS Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2007	A	`conf`	Valet parking without a valet. IROS David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas
2007	A*	`conf`	Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas
2005	—	`conf`	Hybrid Controllers for Path Planning: A Temporal Logic Approach. CDC/ECC Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas
2005	A*	`conf`	Temporal Logic Motion Planning for Mobile Robots. ICRA Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas