Personal information

Websites & social links

http://verifiablerobotics.com

Other IDs

ResearcherID: A-4246-2018

Activities

Collapse all

Employment (3)

Cornell University: Ithaca, NY, US

2020-11-01 to present | Professor (Mechanical and Aerospace Engineering)
Employment
Source: Self-asserted source
Hadas Kress-Gazit

Cornell University: Ithaca, US

2009-01-01 to 2020-10-31 | Associate Professor (Mechanical and Aerospace Engineering)
Employment
Source: Self-asserted source
Hadas Kress-Gazit

Cornell University: Ithaca, NY, US

2009-01-01 to 2015-06-30 | Assistant Professor (Mechanical and Aerospace Engineering)
Employment
Source: Self-asserted source
Hadas Kress-Gazit

Works (50 of 188)

Items per page:
Page 1 of 4

Online Resynthesis of High-Level Collaborative Tasks for Robots With Changing Capabilities

IEEE Robotics and Automation Letters
2025-02 | Journal article
DOI: 10.1109/LRA.2025.3527337
Contributors: Amy Fang; Tenny Yin; Hadas Kress-Gazit
Source: check_circle
Crossref

Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist Robotic Swarm

IEEE Transactions on Robotics
2024 | Journal article
DOI: 10.1109/TRO.2023.3339536
Contributors: Himani Sinhmar; Hadas Kress-Gazit
Source: check_circle
Crossref

Online Modifications for Event-Based Signal Temporal Logic Specifications

IEEE Robotics and Automation Letters
2024-08 | Journal article
DOI: 10.1109/LRA.2023.3343597
Contributors: David Gundana; Hadas Kress-Gazit
Source: check_circle
Crossref

Automatic encoding and repair of reactive high-level tasks with learned abstract representations

The International Journal of Robotics Research
2023 | Journal article
Contributors: Pacheck, Adam; James, Steven; Konidaris, George; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Counterexample-guided repair for symbolic-geometric action abstractions

IEEE Transactions on Robotics
2023 | Journal article
Contributors: Thomason, Wil; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions

IEEE Transactions on Robotics
2023 | Journal article
DOI: 10.1109/TRO.2023.3294918
Contributors: Wil Thomason; Hadas Kress-Gazit
Source: check_circle
Crossref

Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis

arXiv preprint arXiv:2304.14886
2023 | Journal article
Contributors: Scher, Guy; Sadraddini, Sadra; Yadin, Ariel; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm

arXiv preprint arXiv:2301.05415
2023 | Journal article
Contributors: Sinhmar, Himani; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Lessons From a Robot Asking for Directions In-the-wild

Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction
2023 | Conference paper
Contributors: Liang, Claire; Ricci, Andy Elliot; Kress-Gazit, Hadas; Jung, Malte F
Source: Self-asserted source
Hadas Kress-Gazit

Nudging or Waiting? Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction
2023 | Conference paper
Contributors: Hu, Yuhan; Ryu, Jin; Gundana, David; Petersen, Kirstin H; Kress-Gazit, Hadas; Hoffman, Guy
Source: Self-asserted source
Hadas Kress-Gazit

Online Modifications for Event-based Signal Temporal Logic Specifications

arXiv preprint arXiv:2303.18160
2023 | Journal article
Contributors: Gundana, David; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks

IEEE Transactions on Robotics
2023 | Journal article
Contributors: Pacheck, Adam; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks

IEEE Transactions on Robotics
2023 | Journal article
DOI: 10.1109/TRO.2023.3304009
Contributors: Adam Pacheck; Hadas Kress-Gazit
Source: check_circle
Crossref

Probabilistic rare-event verification for temporal logic robot tasks

2023 IEEE International Conference on Robotics and Automation (ICRA)
2023 | Conference paper
Contributors: Scher, Guy; Sadraddini, Sadra; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Lessons From a Robot Asking for Directions In-the-wild

2023-03-13 | Conference paper
DOI: 10.1145/3568294.3580159
Contributors: Claire Liang; Andy Elliot Ricci; Hadas Kress-Gazit; Malte F. Jung
Source: check_circle
Crossref

Nudging or Waiting?

2023-03-13 | Conference paper
DOI: 10.1145/3568162.3576955
Contributors: Yuhan Hu; Jin Ryu; David Gundana; Kirstin H. Petersen; Hadas Kress-Gazit; Guy Hoffman
Source: check_circle
Crossref

Automated task updates of temporal logic specifications for heterogeneous robots

2022 International Conference on Robotics and Automation (ICRA)
2022 | Conference paper
Contributors: Fang, Amy; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation

2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2022 | Conference paper
Contributors: Sinhmar, Himani; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Elliptical slice sampling for probabilistic verification of stochastic systems with signal temporal logic specifications

Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control
2022 | Conference paper
Contributors: Scher, Guy; Sadraddini, Sadra; Tedrake, Russ; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Errors in collective robotic construction

Distributed Autonomous Robotic Systems: 15th International Symposium
2022 | Conference paper
Contributors: Chen, Jiahe; Liu, Yifang; Pacheck, Adam; Kress-Gazit, Hadas; Napp, Nils; Petersen, Kirstin
Source: Self-asserted source
Hadas Kress-Gazit

Event-based signal temporal logic tasks: Execution and feedback in complex environments

IEEE Robotics and Automation Letters
2022 | Journal article
Contributors: Gundana, David; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Micrometer-sized, electrically morphing metamaterial-robots (MetaBots)

APS March Meeting Abstracts
2022 | Conference paper
Contributors: Liu, Qingkun; Wang, Wei; Sinhmar, Himani; Griniasty, Itay; Reynolds, Michael; Kress-Gazit, Hadas; McEuen, Paul; Cohen, Itai
Source: Self-asserted source
Hadas Kress-Gazit

Robustness-based synthesis for stochastic systems under signal temporal logic tasks

2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2022 | Conference paper
Contributors: Scher, Guy; Sadraddini, Sadra; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Timing-specified controllers with feedback for human-robot handovers

2022 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)
2022 | Conference paper
Contributors: Kshirsagar, Alap; Ravi, Rahul Kumar; Kress-Gazit, Hadas; Hoffman, Guy
Source: Self-asserted source
Hadas Kress-Gazit

Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments

IEEE Robotics and Automation Letters
2022-10 | Journal article
DOI: 10.1109/LRA.2022.3192625
Contributors: David Gundana; Hadas Kress-Gazit
Source: check_circle
Crossref

Decentralized context-based on-board planning for earth observation missions

AIAA Scitech 2021 Forum
2021 | Conference paper
Contributors: Viros Martin, Antoni; Cheng, Kewei; Fang, Amy; Zheng, Zhaoliang; Kress-Gazit, Hadas; Mehta, Ankur; Selva, Daniel; Sun, Yizhou
Source: Self-asserted source
Hadas Kress-Gazit

Distributed control of robotic swarms from reactive high-level specifications

2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)
2021 | Conference paper
Contributors: Chen, Ji; Sun, Ruojia; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Electrically Programmable Micro-scale Morphing Robots Based on Mechanical Metamaterials

APS March Meeting Abstracts
2021 | Conference paper
Contributors: Liu, Qingkun; Wang, Wei; Sinhmar, Himani; Cortese, Alejandro; Griniasty, Itay; Reynolds, Michael; Taghavi, Milad; Apsel, Alyssa; Kress-Gazit, Hadas; McEuen, Paul et al.
Source: Self-asserted source
Hadas Kress-Gazit

Event-based signal temporal logic synthesis for single and multi-robot tasks

IEEE Robotics and Automation Letters
2021 | Journal article
Contributors: Gundana, David; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Formalizing and guaranteeing human-robot interaction

Communications of the ACM
2021 | Journal article
Contributors: Kress-Gazit, Hadas; Eder, Kerstin; Hoffman, Guy; Admoni, Henny; Argall, Brenna; Ehlers, Rüdiger; Heckman, Christoffer; Jansen, Nils; Knepper, Ross; Křet́ınsk̀y, Jan et al.
Source: Self-asserted source
Hadas Kress-Gazit

Gender Diversity of Conference Leadership [Women in Engineering]

IEEE Robotics & Automation Magazine
2021 | Journal article
Contributors: Graesser, Laura; Faust, Aleksandra; Kress-Gazit, Hadas; Tapia, Lydia; Ulinski, Risa
Source: Self-asserted source
Hadas Kress-Gazit

Homotopy-Driven Exploration of Human-made Spaces Using Signs

2021 IEEE International Conference on Robotics and Automation (ICRA)
2021 | Conference paper
Contributors: Liang, Claire; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Learning and planning for temporally extended tasks in unknown environments

2021 IEEE International Conference on Robotics and Automation (ICRA)
2021 | Conference paper
Contributors: Bradley, Christopher; Pacheck, Adam; Stein, Gregory J; Castro, Sebastian; Kress-Gazit, Hadas; Roy, Nicholas
Source: Self-asserted source
Hadas Kress-Gazit

Micron sized kirigami robots-Design and inverse design

APS March Meeting Abstracts
2021 | Conference paper
Contributors: Griniasty, Itay; Sinhmar, Himani; Liu, Qingkun; Wang, Wei; Kress-Gazit, Hadas; Sethna, James; Cohen, Itai
Source: Self-asserted source
Hadas Kress-Gazit

Synthesizing modular manipulators for tasks with time, obstacle, and torque constraints

arXiv preprint arXiv:2106.09487
2021 | Journal article
Contributors: Campos, Thais; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks

IEEE Robotics and Automation Letters
2021-04 | Journal article
DOI: 10.1109/LRA.2021.3064220
Contributors: David Gundana; Hadas Kress-Gazit
Source: check_circle
Crossref

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications

Autonomous Robots
2020 | Journal article
Contributors: Moarref, Salar; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Automated synthesis of modular manipulators’ structure and control for continuous tasks around obstacles

Robotics: Science and Systems 2020
2020 | Journal article
Contributors: Campos de Almeida, Thais; Marri, Samhita; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Automatic control synthesis for swarm robots from formation and location-based high-level specifications

2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2020 | Conference paper
Contributors: Chen, Ji; Wang, Hanlin; Rubenstein, Michael; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Finding missing skills for high-level behaviors

2020 IEEE International Conference on Robotics and Automation (ICRA)
2020 | Conference paper
Contributors: Pacheck, Adam; Moarref, Salar; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Guest Editorial: Robotics: Science and Systems 2018 (RSS 2018)

Autonomous Robots
2020 | Journal article
Contributors: Howard, Thomas; Prorok, Amanda; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Jessie: Synthesizing social robot behaviors for personalized neurorehabilitation and beyond

Proceedings of the 2020 ACM/IEEE international conference on human-robot interaction
2020 | Conference paper
Contributors: Kubota, Alyssa; Peterson, Emma IC; Rajendren, Vaishali; Kress-Gazit, Hadas; Riek, Laurel D
Source: Self-asserted source
Hadas Kress-Gazit

Perceiving signs for navigation guidance in spaces designed for humans

Workshop on Closing the Academia to Real-World Gap in Service Robotics at Robotics Science and Systems (RSS)
2020 | Conference paper
Contributors: Liang, Claire; Phoo, Cheng Perng; Renganathan, Laasya; Yu, Yingying; Hariharan, Bharath; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Robots that use language

Annual Review of Control, Robotics, and Autonomous Systems
2020 | Journal article
Contributors: Tellex, Stefanie; Gopalan, Nakul; Kress-Gazit, Hadas; Matuszek, Cynthia
Source: Self-asserted source
Hadas Kress-Gazit

The magazine archive includes every article published in Communications of the ACM for over the past 50 years.

Communications of the ACM
2020 | Journal article
Contributors: Doan, AnHai; Konda, Pradap; Paul Suganthan, GC; Govind, Yash; Paulsen, Derek; Chandrasekhar, Kaushik; Martinkus, Philip; Christie, Matthew
Source: Self-asserted source
Hadas Kress-Gazit

Warehouse automation in a day: from model to implementation with provable guarantees

2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)
2020 | Conference paper
Contributors: Scher, Guy; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Resilient task planning and execution for reactive soft robots

2019 International Conference on Robotics and Automation (ICRA)
2019 | Conference paper
Contributors: Hamill, Scott; Whitehead, John; Ferenz, Peter; Shepherd, Robert F; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

SMT-based control and feedback for social navigation

2019 international conference on robotics and automation (icra)
2019 | Conference paper
Contributors: Campos, Thais; Pacheck, Adam; Hoffman, Guy; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit

Specifying and synthesizing human-robot handovers

2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2019 | Conference paper
Contributors: Kshirsagar, Alap; Kress-Gazit, Hadas; Hoffman, Guy
Source: Self-asserted source
Hadas Kress-Gazit

Task-based design of ad-hoc modular manipulators

2019 International Conference on Robotics and Automation (ICRA)
2019 | Conference paper
Contributors: Campos, Thais; Inala, Jeevana Priya; Solar-Lezama, Armando; Kress-Gazit, Hadas
Source: Self-asserted source
Hadas Kress-Gazit
Items per page:
Page 1 of 4
How many people are using ORCID?