Online Resynthesis of High-Level Collaborative Tasks for Robots With Changing Capabilities. - Fang, Amy; Yin, Tenny; Kress-Gazit, Hadas (IEEE Robotics Autom. Lett., 2025)

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair. - Zhou, Ziyi; Meng, Qian; Kress-Gazit, Hadas; Zhao, Ye (CoRR, 2025)

INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations. - Meng, Qian; Zhou, Jin Peng; Weinberger, Kilian Q.; Kress-Gazit, Hadas (CoRR, 2025)

Report on NSF Workshop on Science of Safe AI. - Alur, Rajeev; Durrett, Greg; Kress-Gazit, Hadas; Pasareanu, Corina S.; Vidal, René (CoRR, 2025)

Online Modifications for Event-Based Signal Temporal Logic Specifications. - Gundana, David; Kress-Gazit, Hadas (IEEE Robotics Autom. Lett., 2024)

Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist Robotic Swarm. - Sinhmar, Himani; Kress-Gazit, Hadas (IEEE Trans. Robotics, 2024)

High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents. - Fang, Amy; Kress-Gazit, Hadas (2024)

Automated Robot Recovery from Assumption Violations of High-Level Specifications. - Meng, Qian; Kress-Gazit, Hadas (2024)

High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents. - Fang, Amy; Kress-Gazit, Hadas (CoRR, 2024)

Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots. - Sinhmar, Himani; Kress-Gazit, Hadas (CoRR, 2024)

Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams. - Fang, Amy; Yin, Tenny; Lin, Jiawei; Kress-Gazit, Hadas (CoRR, 2024)

Automated Robot Recovery from Assumption Violations of High-Level Specifications. - Meng, Qian; Kress-Gazit, Hadas (CoRR, 2024)

Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities. - Fang, Amy; Yin, Tenny; Kress-Gazit, Hadas (CoRR, 2024)

Robot Learning as an Empirical Science: Best Practices for Policy Evaluation. - Kress-Gazit, Hadas; Hashimoto, Kunimatsu; Kuppuswamy, Naveen; Shah, Paarth; Horgan, Phoebe; Richardson, Gordon; Feng, Siyuan; Burchfiel, Benjamin (CoRR, 2024)

Automatic encoding and repair of reactive high-level tasks with learned abstract representations. - Pacheck, Adam; James, Steven; Konidaris, George Dimitri; Kress-Gazit, Hadas (Int. J. Robotics Res., 2023)

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. - Thomason, Wil; Kress-Gazit, Hadas (IEEE Trans. Robotics, 2023)

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks. - Pacheck, Adam; Kress-Gazit, Hadas (IEEE Trans. Robotics, 2023)

Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation. - Hu, Yuhan; Ryu, Jin; Gundana, David; Petersen, Kirstin H.; Kress-Gazit, Hadas; Hoffman, Guy (2023)

Lessons From a Robot Asking for Directions In-the-wild. - Liang, Claire; Ricci, Andy Elliot; Kress-Gazit, Hadas; Jung, Malte F. (2023)

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. - Scher, Guy; Sadraddini, Sadra; Kress-Gazit, Hadas (2023)

Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm. - Sinhmar, Himani; Kress-Gazit, Hadas (CoRR, 2023)

Online Modifications for Event-based Signal Temporal Logic Specifications. - Gundana, David; Kress-Gazit, Hadas (CoRR, 2023)

Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. - Scher, Guy; Sadraddini, Sadra; Yadin, Ariel; Kress-Gazit, Hadas (CoRR, 2023)

Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments. - Gundana, David; Kress-Gazit, Hadas (IEEE Robotics Autom. Lett., 2022)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. - Scher, Guy; Sadraddini, Sadra; Tedrake, Russ; Kress-Gazit, Hadas (2022)

Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. - Fang, Amy; Kress-Gazit, Hadas (2022)

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. - Scher, Guy; Sadraddini, Sadra; Kress-Gazit, Hadas (2022)

Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. - Sinhmar, Himani; Kress-Gazit, Hadas (2022)

Timing-Specified Controllers with Feedback for Human-Robot Handovers. - Kshirsagar, Alap; Ravi, Rahul Kumar; Kress-Gazit, Hadas; Hoffman, Guy (2022)

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. - Scher, Guy; Sadraddini, Sadra; Tedrake, Russ; Kress-Gazit, Hadas (CoRR, 2022)

Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. - Fang, Amy; Kress-Gazit, Hadas (CoRR, 2022)

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. - Pacheck, Adam; James, Steven; Konidaris, George; Kress-Gazit, Hadas (CoRR, 2022)

Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks. - Pacheck, Adam; Kress-Gazit, Hadas (CoRR, 2022)

Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. - Sinhmar, Himani; Kress-Gazit, Hadas (CoRR, 2022)

Formalizing and guaranteeing human-robot interaction. - Kress-Gazit, Hadas; Eder, Kerstin; Hoffman, Guy; Admoni, Henny; Argall, Brenna; Ehlers, Rüdiger; Heckman, Christoffer; Jansen, Nils; Knepper, Ross A.; Kretínský, Jan; Levy-Tzedek, Shelly; Li, Jamy; et al. (Commun. ACM, 2021)

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. - Gundana, David; Kress-Gazit, Hadas (IEEE Robotics Autom. Lett., 2021)

Gender Diversity of Conference Leadership [Women in Engineering]. - Graesser, Laura; Faust, Aleksandra; Kress-Gazit, Hadas; Tapia, Lydia; Ulinski, Risa (IEEE Robotics Autom. Mag., 2021)

Distributed Control of Robotic Swarms from Reactive High-Level Specifications. - Chen, Ji; Sun, Ruojia; Kress-Gazit, Hadas (2021)

Errors in Collective Robotic Construction. - Chen, Jiahe; Liu, Yifang; Pacheck, Adam; Kress-Gazit, Hadas; Napp, Nils; Petersen, Kirstin (2021)

Learning and Planning for Temporally Extended Tasks in Unknown Environments. - Bradley, Christopher; Pacheck, Adam; Stein, Gregory J.; Castro, Sebastian; Kress-Gazit, Hadas; Roy, Nicholas (2021)

Homotopy-Driven Exploration of Human-made Spaces Using Signs. - Liang, Claire; Kress-Gazit, Hadas (2021)

Learning and Planning for Temporally Extended Tasks in Unknown Environments. - Bradley, Christopher; Pacheck, Adam; Stein, Gregory J.; Castro, Sebastian; Kress-Gazit, Hadas; Roy, Nicholas (CoRR, 2021)

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. - Thomason, Wil; Kress-Gazit, Hadas (CoRR, 2021)

Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints. - Campos, Thais; Kress-Gazit, Hadas (CoRR, 2021)

Robots That Use Language. - Tellex, Stefanie; Gopalan, Nakul; Kress-Gazit, Hadas; Matuszek, Cynthia (Annu. Rev. Control. Robotics Auton. Syst., 2020)

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications. - Moarref, Salar; Kress-Gazit, Hadas (Auton. Robots, 2020)

Guest Editorial: Robotics: Science and Systems 2018 (RSS 2018). - Howard, Thomas M.; Prorok, Amanda; Kress-Gazit, Hadas (Auton. Robots, 2020)

Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees. - Scher, Guy; Kress-Gazit, Hadas (2020)

JESSIE: Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation and Beyond. - Kubota, Alyssa; Peterson, Emma I. C.; Rajendren, Vaishali; Kress-Gazit, Hadas; Riek, Laurel D. (2020)

Finding Missing Skills for High-Level Behaviors. - Pacheck, Adam; Moarref, Salar; Kress-Gazit, Hadas (2020)

Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications. - Chen, Ji; Wang, Hanlin; Rubenstein, Michael; Kress-Gazit, Hadas (2020)

Automated Synthesis of Modular Manipulators' Structure and Control for Continuous Tasks around Obstacles. - Almeida, Thais Campos de; Marri, Samhita; Kress-Gazit, Hadas (2020)

Formalizing and Guaranteeing* Human-Robot Interaction. - Kress-Gazit, Hadas; Eder, Kerstin; Hoffman, Guy; Admoni, Henny; Argall, Brenna; Ehlers, Rüdiger; Heckman, Christoffer; Jansen, Nils; Knepper, Ross A.; Kretínský, Jan; Levy-Tzedek, Shelly; Li, Jamy; et al. (CoRR, 2020)

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. - Gundana, David; Kress-Gazit, Hadas (CoRR, 2020)

Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field]. - Clement, Lee E.; Peretroukhin, Valentin; Giamou, Matthew; Leonard, John J.; Kress-Gazit, Hadas; How, Jonathan P.; Milford, Michael; Brock, Oliver; Gariepy, Ryan; Roy, Nicholas; Siegel, Hallie; Righetti, Ludovic; et al. (IEEE Robotics Autom. Mag., 2019)

SMT-Based Control and Feedback for Social Navigation. - Campos, Thais; Pacheck, Adam; Hoffman, Guy; Kress-Gazit, Hadas (2019)

Resilient Task Planning and Execution for Reactive Soft Robots. - Hamill, Scott; Whitehead, John; Ferenz, Peter; Shepherd, Robert F.; Kress-Gazit, Hadas (2019)

Task-Based Design of Ad-hoc Modular Manipulators. - Campos, Thais; Inala, Jeevana Priya; Solar-Lezama, Armando; Kress-Gazit, Hadas (2019)

Specifying and Synthesizing Human-Robot Handovers. - Kshirsagar, Alap; Kress-Gazit, Hadas; Hoffman, Guy (2019)

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. - Pacheck, Adam; Konidaris, George; Kress-Gazit, Hadas (2019)

Robotics: Science and Systems XV, University of Freiburg, Freiburg im Breisgau, Germany, June 22-26, 2019. (2019)

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). - Alami, Rachid; Eder, Kerstin I.; Hoffman, Guy; Kress-Gazit, Hadas (Dagstuhl Reports, 2019)

Synthesis for Robots: Guarantees and Feedback for Robot Behavior. - Kress-Gazit, Hadas; Lahijanian, Morteza; Raman, Vasumathi (Annu. Rev. Control. Robotics Auton. Syst., 2018)

Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. - Alonso-Mora, Javier; DeCastro, Jonathan A.; Raman, Vasumathi; Rus, Daniela; Kress-Gazit, Hadas (Auton. Robots, 2018)

Accomplishing high-level tasks with modular robots. - Jing, Gangyuan; Tosun, Tarik; Yim, Mark; Kress-Gazit, Hadas (Auton. Robots, 2018)

Resource-Performance Tradeoff Analysis for Mobile Robots. - Lahijanian, Morteza; Svorenová, María; Morye, Akshay A.; Yeomans, Brian; Rao, Dushyant; Posner, Ingmar; Newman, Paul; Kress-Gazit, Hadas; Kwiatkowska, Marta (IEEE Robotics Autom. Lett., 2018)

An integrated system for perception-driven autonomy with modular robots. - Jing, Gangyuan; Tosun, Tarik; Yim, Mark; Kress-Gazit, Hadas; Campbell, Mark E. (Sci. Robotics, 2018)

Resilient, Provably-Correct, and High-Level Robot Behaviors. - Wong, Kai Weng; Ehlers, Rüdiger; Kress-Gazit, Hadas (IEEE Trans. Robotics, 2018)

Verifiable Control of Robotic Swarm from High-level Specifications. - Chen, Ji; Moarref, Salar; Kress-Gazit, Hadas (2018)

Reactive Synthesis for Robotic Swarms. - Moarref, Salar; Kress-Gazit, Hadas (2018)

Perception-Informed Autonomous Environment Augmentation with Modular Robots. - Tosun, Tarik; Daudelin, Jonathan; Jing, Gangyuan; Kress-Gazit, Hadas; Campbell, Mark E.; Yim, Mark (2018)

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. - Kress-Gazit, Hadas; Torfah, Hazem (2018)

Robotics: Science and Systems XIV, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, June 26-30, 2018 (2018)

Automated generation of dynamics-based runtime certificates for high-level control. - DeCastro, Jonathan A.; Ehlers, Rüdiger; Rungger, Matthias; Balkan, Ayca; Kress-Gazit, Hadas (Discret. Event Dyn. Syst., 2017)

Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots. - Romay, Alberto; Kohlbrecher, Stefan; Stumpf, Alexander; Stryk, Oskar von; Maniatopoulos, Spyros; Kress-Gazit, Hadas; Schillinger, Philipp; Conner, David C. (J. Field Robotics, 2017)

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle. - Johnson, Benjamin; Havlak, Frank; Kress-Gazit, Hadas; Campbell, Mark E. (J. Field Robotics, 2017)

An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. - Jing, Gangyuan; Tosun, Tarik; Yim, Mark; Kress-Gazit, Hadas (2017)

From High-Level Task Specification to Robot Operating System (ROS) Implementation. - Wong, Kai Weng; Kress-Gazit, Hadas (2017)

Decentralized control of robotic swarms from high-level temporal logic specifications. - Moarref, Salar; Kress-Gazit, Hadas (2017)

Contextual awareness: Understanding monologic natural language instructions for autonomous robots. - Arkin, Jacob; Walter, Matthew R.; Boteanu, Adrian; Napoli, Michael E.; Biggie, Harel; Kress-Gazit, Hadas; Howard, Thomas M. (2017)

An Integrated System for Perception-Driven Autonomy with Modular Robots. - Daudelin, Jonathan; Jing, Gangyuan; Tosun, Tarik; Yim, Mark; Kress-Gazit, Hadas; Campbell, Mark E. (CoRR, 2017)

Robot-Initiated Specification Repair through Grounded Language Interaction. - Boteanu, Adrian; Arkin, Jacob; Patki, Siddharth; Howard, Thomas M.; Kress-Gazit, Hadas (CoRR, 2017)

Perception-Informed Autonomous Environment Augmentation With Modular Robots. - Tosun, Tarik; Daudelin, Jonathan; Jing, Gangyuan; Kress-Gazit, Hadas; Campbell, Mark E.; Yim, Mark (CoRR, 2017)

Accomplishing High-Level Tasks with Modular Robots. - Jing, Gangyuan; Tosun, Tarik; Yim, Mark; Kress-Gazit, Hadas (CoRR, 2017)

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). - Ábrahám, Erika; Kress-Gazit, Hadas; Natale, Lorenzo; Tacchella, Armando (Dagstuhl Reports, 2017)

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. - Lahijanian, Morteza; Maly, Matthew R.; Fried, Dror; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. (IEEE Trans. Robotics, 2016)

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. - DeCastro, Jonathan A.; Kress-Gazit, Hadas (2016)

Reactive high-level behavior synthesis for an Atlas humanoid robot. - Maniatopoulos, Spyros; Schillinger, Philipp; Pong, Vitchyr; Conner, David C.; Kress-Gazit, Hadas (2016)

Need-based coordination for decentralized high-level robot control. - Wong, Kai Weng; Kress-Gazit, Hadas (2016)

A model for verifiable grounding and execution of complex natural language instructions. - Boteanu, Adrian; Howard, Thomas M.; Arkin, Jacob; Kress-Gazit, Hadas (2016)

Gait Synthesis for Modular Soft Robots. - Hamill, Scott; Peele, Bryan; Ferenz, Peter; Westwater, Max; Shepherd, Robert F.; Kress-Gazit, Hadas (2016)

An End-To-End System for Accomplishing Tasks with Modular Robots. - Jing, Gangyuan; Tosun, Tarik; Yim, Mark; Kress-Gazit, Hadas (2016)

Resource-Performance Trade-off Analysis for Mobile Robots. - Svorenová, María; Lahijanian, Morteza; Morye, Akshay A.; Rao, Dushyant; Posner, Ingmar; Newman, Paul; Kress-Gazit, Hadas; Kwiatkowska, Marta (CoRR, 2016)

Provably correct reactive control from natural language. - Lignos, Constantine; Raman, Vasumathi; Finucane, Cameron; Marcus, Mitchell P.; Kress-Gazit, Hadas (Auton. Robots, 2015)

Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors. - DeCastro, Jonathan A.; Kress-Gazit, Hadas (Int. J. Robotics Res., 2015)

Analyzing and revising synthesized controllers for robots with sensing and actuation errors. - Johnson, Benjamin; Kress-Gazit, Hadas (Int. J. Robotics Res., 2015)

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. - Raman, Vasumathi; Piterman, Nir; Finucane, Cameron; Kress-Gazit, Hadas (IEEE Trans. Robotics, 2015)

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace. - Wong, Kai Weng; Kress-Gazit, Hadas (2015)

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. - DeCastro, Jonathan A.; Raman, Vasumathi; Kress-Gazit, Hadas (2015)

Computer-Aided Compositional Design and Verification for Modular Robots. - Tosun, Tarik; Jing, Gangyuan; Kress-Gazit, Hadas; Yim, Mark (2015)

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. - DeCastro, Jonathan A.; Alonso-Mora, Javier; Raman, Vasumathi; Rus, Daniela; Kress-Gazit, Hadas (2015)

Robot Creation from Functional Specifications. - Mehta, Ankur M.; DelPreto, Joseph; Wong, Kai Weng; Hamill, Scott; Kress-Gazit, Hadas; Rus, Daniela (2015)

Syntax-Guided Synthesis. - Alur, Rajeev; Bodík, Rastislav; Dallal, Eric; Fisman, Dana; Garg, Pranav; Juniwal, Garvit; Kress-Gazit, Hadas; Madhusudan, P.; Martin, Milo M. K.; Raghothaman, Mukund; Saha, Shambwaditya; Seshia, Sanjit A.; et al. (2015)

Synthesis for multi-robot controllers with interleaved motion. - Raman, Vasumathi; Kress-Gazit, Hadas (2014)

Open-world mission specification for reactive robots. - Maniatopoulos, Spyros; Blair, Matthew; Finucane, Cameron; Kress-Gazit, Hadas (2014)

Correct High-level Robot Behavior in Environments with Unexpected Events. - Wong, Kai Weng; Ehlers, Rüdiger; Kress-Gazit, Hadas (2014)

Synthesis with Identifiers. - Ehlers, Rüdiger; Seshia, Sanjit A.; Kress-Gazit, Hadas (2014)

Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. - Raman, Vasumathi; Kress-Gazit, Hadas (CoRR, 2014)

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. - DeCastro, Jonathan A.; Ehlers, Rüdiger; Rungger, Matthias; Balkan, Ayca; Tabuada, Paulo; Kress-Gazit, Hadas (CoRR, 2014)

Explaining Impossible High-Level Robot Behaviors. - Raman, Vasumathi; Kress-Gazit, Hadas (IEEE Trans. Robotics, 2013)

Iterative temporal motion planning for hybrid systems in partially unknown environments. - Maly, Matthew R.; Lahijanian, Morteza; Kavraki, Lydia E.; Kress-Gazit, Hadas; Vardi, Moshe Y. (2013)

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. - Raman, Vasumathi; Piterman, Nir; Kress-Gazit, Hadas (2013)

Improving the continuous execution of reactive LTL-based controllers. - Jing, Gangyuan; Kress-Gazit, Hadas (2013)

Analyzing and revising high-level robot behaviors under actuator error. - Johnson, Benjamin; Kress-Gazit, Hadas (2013)

Guaranteeing reactive high-level behaviors for robots with complex dynamics. - DeCastro, Jonathan A.; Kress-Gazit, Hadas (2013)

Towards minimal explanations of unsynthesizability for high-level robot behaviors. - Raman, Vasumathi; Kress-Gazit, Hadas (2013)

Provably-correct robot control with LTLMoP, OMPL and ROS. - Wong, Kai Weng; Finucane, Cameron; Kress-Gazit, Hadas (2013)

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. - Jing, Gangyuan; Ehlers, Rüdiger; Kress-Gazit, Hadas (2013)

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. - Raman, Vasumathi; Lignos, Constantine; Finucane, Cameron; Lee, Kenton C. T.; Marcus, Mitchell P.; Kress-Gazit, Hadas (2013)

Probabilistic guarantees for high-level robot behavior in the presence of sensor error. - Johnson, Benjamin; Kress-Gazit, Hadas (Auton. Robots, 2012)

Situation understanding bot through language and environment. - Brooks, Daniel J.; Lignos, Constantine; Medvedev, Mikhail S.; Perera, Ian; Finucane, Cameron; Raman, Vasumathi; Shultz, Abraham; McSheehy, Sean; Norton, Adam; Kress-Gazit, Hadas; Marcus, Mitchell P.; Yanco, Holly A. (2012)

Execution and analysis of high-level tasks with dynamic obstacle anticipation. - Johnson, Benjamin; Havlak, Frank; Campbell, Mark E.; Kress-Gazit, Hadas (2012)

Correct high-level robot control from structured English. - Jing, Gangyuan; Finucane, Cameron; Raman, Vasumathi; Kress-Gazit, Hadas (2012)

Automated feedback for unachievable high-level robot behaviors. - Raman, Vasumathi; Kress-Gazit, Hadas (2012)

Temporal logic robot mission planning for slow and fast actions. - Raman, Vasumathi; Finucane, Cameron; Kress-Gazit, Hadas (2012)

Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. - Raman, Vasumathi; Xu, Bingxin; Kress-Gazit, Hadas (2012)

Guaranteeing High-Level Behaviors while Exploring Partially Known Maps. - Sarid, Shahar; Xu, Bingxin; Kress-Gazit, Hadas (2012)

Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors]. - Kress-Gazit, Hadas (IEEE Robotics Autom. Mag., 2011)

Correct, Reactive, High-Level Robot Control. - Kress-Gazit, Hadas; Wongpiromsarn, Tichakorn; Topcu, Ufuk (IEEE Robotics Autom. Mag., 2011)

Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]. - Kress-Gazit, Hadas (IEEE Robotics Autom. Mag., 2011)

Designing Reactive Robot Controllers with LTLMoP. - Finucane, Cameron; Jing, Gangyuan; Kress-Gazit, Hadas (2011)

Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. - Raman, Vasumathi; Kress-Gazit, Hadas (2011)

High-level control of modular robots. - Castro, Sebastian; Koehler, Sarah Muraoka; Kress-Gazit, Hadas (2011)

Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error. - Johnson, Benjamin; Kress-Gazit, Hadas (2011)

Automatic synthesis of robot controllers for tasks with locative prepositions. - Kress-Gazit, Hadas; Pappas, George J. (2010)

LTLMoP: Experimenting with language, Temporal Logic and robot control. - Finucane, Cameron; Jing, Gangyuan; Kress-Gazit, Hadas (2010)

Constraints-Based Complex Behavior in Rich Environments. - Allbeck, Jan M.; Kress-Gazit, Hadas (2010)

Temporal logic motion planning for dynamic robots. - Fainekos, Georgios E.; Girard, Antoine; Kress-Gazit, Hadas; Pappas, George J. (Autom., 2009)

Temporal-Logic-Based Reactive Mission and Motion Planning. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (IEEE Trans. Robotics, 2009)

Translating Structured English to Robot Controllers. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (Adv. Robotics, 2008)

Courteous Cars. - Kress-Gazit, Hadas; Conner, David C.; Choset, Howie; Rizzi, Alfred A.; Pappas, George J. (IEEE Robotics Autom. Mag., 2008)

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. - Kress-Gazit, Hadas; Pappas, George J. (2008)

Recycling controllers. - Kress-Gazit, Hadas; Ayanian, Nora; Pappas, George J.; Kumar, Vijay (2008)

Where's Waldo? Sensor-Based Temporal Logic Motion Planning. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (2007)

Valet parking without a valet. - Conner, David C.; Kress-Gazit, Hadas; Choset, Howie; Rizzi, Alfred A.; Pappas, George J. (2007)

From structured english to robot motion. - Kress-Gazit, Hadas; Fainekos, Georgios E.; Pappas, George J. (2007)

Hybrid Controllers for Path Planning: A Temporal Logic Approach. - Fainekos, Georgios E.; Kress-Gazit, Hadas; Pappas, George J. (2005)

Temporal Logic Motion Planning for Mobile Robots. - Fainekos, Georgios E.; Kress-Gazit, Hadas; Pappas, George J. (2005)