default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHadas Kress-Gazit
Person information
- affiliation: Cornell University, Ithaca, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]David Gundana
, Hadas Kress-Gazit:
Online Modifications for Event-Based Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 9(8): 6864-6871 (2024)- [j35]Himani Sinhmar, Hadas Kress-Gazit:
Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist Robotic Swarm. IEEE Trans. Robotics 40: 816-830 (2024) - [c76]Amy Fang, Hadas Kress-Gazit:
High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents. AAMAS 2024: 544-552 - [i28]Amy Fang, Hadas Kress-Gazit:
High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents. CoRR abs/2402.00296 (2024) - [i27]Himani Sinhmar, Hadas Kress-Gazit:
Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots. CoRR abs/2404.19138 (2024) - [i26]Amy Fang, Tenny Yin, Jiawei Lin, Hadas Kress-Gazit:
Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams. CoRR abs/2406.18019 (2024) - [i25]Qian Meng, Hadas Kress-Gazit:
Automated Robot Recovery from Assumption Violations of High-Level Specifications. CoRR abs/2407.00562 (2024) - [i24]Amy Fang, Tenny Yin, Hadas Kress-Gazit:
Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities. CoRR abs/2409.05251 (2024) - [i23]Hadas Kress-Gazit, Kunimatsu Hashimoto, Naveen Kuppuswamy, Paarth Shah, Phoebe Horgan, Gordon Richardson, Siyuan Feng, Benjamin Burchfiel:
Robot Learning as an Empirical Science: Best Practices for Policy Evaluation. CoRR abs/2409.09491 (2024) - 2023
- [j34]Adam Pacheck, Steven James, George Dimitri Konidaris, Hadas Kress-Gazit:
Automatic encoding and repair of reactive high-level tasks with learned abstract representations. Int. J. Robotics Res. 42(4-5): 263-288 (2023) - [j33]Wil Thomason, Hadas Kress-Gazit:
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. IEEE Trans. Robotics 39(5): 4152-4165 (2023) - [j32]Adam Pacheck, Hadas Kress-Gazit:
Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks. IEEE Trans. Robotics 39(6): 4653-4670 (2023) - [c75]Yuhan Hu, Jin Ryu, David Gundana, Kirstin H. Petersen, Hadas Kress-Gazit, Guy Hoffman:
Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation. HRI 2023: 603-611 - [c74]Claire Liang, Andy Elliot Ricci, Hadas Kress-Gazit, Malte F. Jung:
Lessons From a Robot Asking for Directions In-the-wild. HRI (Companion) 2023: 617-620 - [c73]Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit:
Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks. ICRA 2023: 12409-12415 - [i22]Himani Sinhmar, Hadas Kress-Gazit:
Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm. CoRR abs/2301.05415 (2023) - [i21]David Gundana, Hadas Kress-Gazit:
Online Modifications for Event-based Signal Temporal Logic Specifications. CoRR abs/2303.18160 (2023) - [i20]Guy Scher, Sadra Sadraddini, Ariel Yadin, Hadas Kress-Gazit:
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis. CoRR abs/2304.14886 (2023) - 2022
- [j31]David Gundana, Hadas Kress-Gazit:
Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments. IEEE Robotics Autom. Lett. 7(4): 10001-10008 (2022) - [c72]Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit:
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. HSCC 2022: 11:1-11:11 - [c71]Amy Fang, Hadas Kress-Gazit:
Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. ICRA 2022: 4363-4369 - [c70]Guy Scher, Sadra Sadraddini, Hadas Kress-Gazit:
Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks. IROS 2022: 1269-1275 - [c69]Himani Sinhmar, Hadas Kress-Gazit:
Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. IROS 2022: 7251-7258 - [c68]Alap Kshirsagar, Rahul Kumar Ravi, Hadas Kress-Gazit, Guy Hoffman:
Timing-Specified Controllers with Feedback for Human-Robot Handovers. RO-MAN 2022: 1313-1320 - [i19]Guy Scher, Sadra Sadraddini, Russ Tedrake, Hadas Kress-Gazit:
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications. CoRR abs/2203.00078 (2022) - [i18]Amy Fang, Hadas Kress-Gazit:
Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots. CoRR abs/2204.05423 (2022) - [i17]Adam Pacheck, Steven James, George Konidaris, Hadas Kress-Gazit:
Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. CoRR abs/2204.08327 (2022) - [i16]Adam Pacheck, Hadas Kress-Gazit:
Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks. CoRR abs/2207.02834 (2022) - [i15]Himani Sinhmar, Hadas Kress-Gazit:
Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. CoRR abs/2212.08984 (2022) - 2021
- [j30]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:
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64(9): 78-84 (2021) - [j29]David Gundana, Hadas Kress-Gazit:
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. IEEE Robotics Autom. Lett. 6(2): 3687-3694 (2021) - [j28]Laura Graesser, Aleksandra Faust, Hadas Kress-Gazit, Lydia Tapia, Risa Ulinski:
Gender Diversity of Conference Leadership [Women in Engineering]. IEEE Robotics Autom. Mag. 28(2): 126-130 (2021) - [c67]Ji Chen, Ruojia Sun, Hadas Kress-Gazit:
Distributed Control of Robotic Swarms from Reactive High-Level Specifications. CASE 2021: 1247-1254 - [c66]Jiahe Chen, Yifang Liu, Adam Pacheck, Hadas Kress-Gazit, Nils Napp, Kirstin Petersen:
Errors in Collective Robotic Construction. DARS 2021: 269-281 - [c65]Christopher Bradley, Adam Pacheck, Gregory J. Stein, Sebastian Castro, Hadas Kress-Gazit, Nicholas Roy:
Learning and Planning for Temporally Extended Tasks in Unknown Environments. ICRA 2021: 4830-4836 - [c64]Claire Liang, Hadas Kress-Gazit:
Homotopy-Driven Exploration of Human-made Spaces Using Signs. ICRA 2021: 12715-12721 - [i14]Christopher Bradley, Adam Pacheck, Gregory J. Stein, Sebastian Castro, Hadas Kress-Gazit, Nicholas Roy:
Learning and Planning for Temporally Extended Tasks in Unknown Environments. CoRR abs/2104.10636 (2021) - [i13]Wil Thomason, Hadas Kress-Gazit:
Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions. CoRR abs/2105.06537 (2021) - [i12]Thais Campos, Hadas Kress-Gazit:
Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints. CoRR abs/2106.09487 (2021) - 2020
- [j27]Stefanie Tellex, Nakul Gopalan, Hadas Kress-Gazit, Cynthia Matuszek:
Robots That Use Language. Annu. Rev. Control. Robotics Auton. Syst. 3: 25-55 (2020) - [j26]Salar Moarref, Hadas Kress-Gazit:
Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications. Auton. Robots 44(3-4): 585-600 (2020) - [j25]Thomas M. Howard, Amanda Prorok, Hadas Kress-Gazit:
Guest Editorial: Robotics: Science and Systems 2018 (RSS 2018). Auton. Robots 44(7): 1287-1288 (2020) - [c63]Guy Scher, Hadas Kress-Gazit:
Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees. CASE 2020: 280-287 - [c62]Alyssa Kubota, Emma I. C. Peterson, Vaishali Rajendren, Hadas Kress-Gazit, Laurel D. Riek:
JESSIE: Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation and Beyond. HRI 2020: 121-130 - [c61]Adam Pacheck, Salar Moarref, Hadas Kress-Gazit:
Finding Missing Skills for High-Level Behaviors. ICRA 2020: 10335-10341 - [c60]Ji Chen, Hanlin Wang, Michael Rubenstein, Hadas Kress-Gazit:
Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications. IROS 2020: 8027-8034 - [c59]Thais Campos de Almeida, Samhita Marri, Hadas Kress-Gazit:
Automated Synthesis of Modular Manipulators' Structure and Control for Continuous Tasks around Obstacles. Robotics: Science and Systems 2020 - [i11]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:
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR abs/2006.16732 (2020) - [i10]David Gundana, Hadas Kress-Gazit:
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks. CoRR abs/2011.00370 (2020)
2010 – 2019
- 2019
- [j24]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:
Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field]. IEEE Robotics Autom. Mag. 26(3): 7-10 (2019) - [c58]Thais Campos, Adam Pacheck, Guy Hoffman, Hadas Kress-Gazit:
SMT-Based Control and Feedback for Social Navigation. ICRA 2019: 5005-5011 - [c57]Scott Hamill, John Whitehead, Peter Ferenz, Robert F. Shepherd, Hadas Kress-Gazit:
Resilient Task Planning and Execution for Reactive Soft Robots. ICRA 2019: 5148-5154 - [c56]Thais Campos, Jeevana Priya Inala, Armando Solar-Lezama, Hadas Kress-Gazit:
Task-Based Design of Ad-hoc Modular Manipulators. ICRA 2019: 6058-6064 - [c55]Alap Kshirsagar, Hadas Kress-Gazit, Guy Hoffman:
Specifying and Synthesizing Human-Robot Handovers. IROS 2019: 5930-5936 - [c54]Adam Pacheck, George Konidaris, Hadas Kress-Gazit:
Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations. ISRR 2019: 509-525 - [e2]Antonio Bicchi, Hadas Kress-Gazit, Seth Hutchinson:
Robotics: Science and Systems XV, University of Freiburg, Freiburg im Breisgau, Germany, June 22-26, 2019. 2019, ISBN 978-0-9923747-5-4 [contents] - [i9]Rachid Alami, Kerstin I. Eder, Guy Hoffman, Hadas Kress-Gazit:
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). Dagstuhl Reports 9(2): 91-110 (2019) - 2018
- [j23]Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman:
Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. 1: 211-236 (2018) - [j22]Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit:
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Auton. Robots 42(4): 801-824 (2018) - [j21]Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit:
Accomplishing high-level tasks with modular robots. Auton. Robots 42(7): 1337-1354 (2018) - [j20]Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska:
Resource-Performance Tradeoff Analysis for Mobile Robots. IEEE Robotics Autom. Lett. 3(3): 1840-1847 (2018) - [j19]Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit, Mark E. Campbell:
An integrated system for perception-driven autonomy with modular robots. Sci. Robotics 3(23) (2018) - [j18]Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit:
Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Trans. Robotics 34(4): 936-952 (2018) - [c53]Ji Chen, Salar Moarref, Hadas Kress-Gazit:
Verifiable Control of Robotic Swarm from High-level Specifications. AAMAS 2018: 568-576 - [c52]Salar Moarref, Hadas Kress-Gazit:
Reactive Synthesis for Robotic Swarms. FORMATS 2018: 71-87 - [c51]Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim:
Perception-Informed Autonomous Environment Augmentation with Modular Robots. ICRA 2018: 6818-6824 - [c50]Hadas Kress-Gazit, Hazem Torfah:
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems. CREST@ETAPS 2018: 50-64 - [e1]Hadas Kress-Gazit, Siddhartha S. Srinivasa, Tom Howard, Nikolay Atanasov:
Robotics: Science and Systems XIV, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, June 26-30, 2018. 2018, ISBN 978-0-9923747-4-7 [contents] - 2017
- [j17]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit:
Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. 27(2): 371-405 (2017) - [j16]Alberto Romay, Stefan Kohlbrecher, Alexander Stumpf, Oskar von Stryk, Spyros Maniatopoulos, Hadas Kress-Gazit, Philipp Schillinger, David C. Conner:
Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots. J. Field Robotics 34(2): 333-358 (2017) - [j15]Benjamin Johnson, Frank Havlak, Hadas Kress-Gazit, Mark E. Campbell:
Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle. J. Field Robotics 34(5): 897-911 (2017) - [c49]Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit:
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community. IJCAI 2017: 4879-4883 - [c48]Kai Weng Wong, Hadas Kress-Gazit:
From High-Level Task Specification to Robot Operating System (ROS) Implementation. IRC 2017: 188-195 - [c47]Salar Moarref, Hadas Kress-Gazit:
Decentralized control of robotic swarms from high-level temporal logic specifications. MRS 2017: 17-23 - [c46]Jacob Arkin, Matthew R. Walter, Adrian Boteanu, Michael E. Napoli, Harel Biggie, Hadas Kress-Gazit, Thomas M. Howard:
Contextual awareness: Understanding monologic natural language instructions for autonomous robots. RO-MAN 2017: 502-509 - [i8]Jonathan Daudelin, Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit, Mark E. Campbell:
An Integrated System for Perception-Driven Autonomy with Modular Robots. CoRR abs/1709.05435 (2017) - [i7]Adrian Boteanu, Jacob Arkin, Siddharth Patki, Thomas M. Howard, Hadas Kress-Gazit:
Robot-Initiated Specification Repair through Grounded Language Interaction. CoRR abs/1710.01417 (2017) - [i6]Tarik Tosun, Jonathan Daudelin, Gangyuan Jing, Hadas Kress-Gazit, Mark E. Campbell, Mark Yim:
Perception-Informed Autonomous Environment Augmentation With Modular Robots. CoRR abs/1710.01840 (2017) - [i5]Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit:
Accomplishing High-Level Tasks with Modular Robots. CoRR abs/1712.02299 (2017) - [i4]Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella:
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7(2): 48-63 (2017) - 2016
- [j14]Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32(3): 583-599 (2016) - [c45]Jonathan A. DeCastro, Hadas Kress-Gazit:
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors. HSCC 2016: 225-234 - [c44]Spyros Maniatopoulos, Philipp Schillinger, Vitchyr Pong, David C. Conner, Hadas Kress-Gazit:
Reactive high-level behavior synthesis for an Atlas humanoid robot. ICRA 2016: 4192-4199 - [c43]Kai Weng Wong, Hadas Kress-Gazit:
Need-based coordination for decentralized high-level robot control. IROS 2016: 2209-2216 - [c42]Adrian Boteanu, Thomas M. Howard, Jacob Arkin, Hadas Kress-Gazit:
A model for verifiable grounding and execution of complex natural language instructions. IROS 2016: 2649-2654 - [c41]Scott Hamill, Bryan Peele, Peter Ferenz, Max Westwater, Robert F. Shepherd, Hadas Kress-Gazit:
Gait Synthesis for Modular Soft Robots. ISER 2016: 669-678 - [c40]Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit:
An End-To-End System for Accomplishing Tasks with Modular Robots. Robotics: Science and Systems 2016 - [i3]María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska:
Resource-Performance Trade-off Analysis for Mobile Robots. CoRR abs/1609.04888 (2016) - 2015
- [j13]Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit:
Provably correct reactive control from natural language. Auton. Robots 38(1): 89-105 (2015) - [j12]Jonathan A. DeCastro, Hadas Kress-Gazit:
Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors. Int. J. Robotics Res. 34(3): 378-394 (2015) - [j11]Benjamin Johnson, Hadas Kress-Gazit:
Analyzing and revising synthesized controllers for robots with sensing and actuation errors. Int. J. Robotics Res. 34(6): 816-832 (2015) - [j10]Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit:
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics 31(3): 591-604 (2015) - [c39]Kai Weng Wong, Hadas Kress-Gazit:
Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace. ICRA 2015: 339-345 - [c38]Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit:
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. ICRA 2015: 369-376 - [c37]Tarik Tosun, Gangyuan Jing, Hadas Kress-Gazit, Mark Yim:
Computer-Aided Compositional Design and Verification for Modular Robots. ISRR (1) 2015: 237-252 - [c36]Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit:
Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. ISRR (1) 2015: 459-476 - [c35]Ankur M. Mehta, Joseph DelPreto, Kai Weng Wong, Scott Hamill, Hadas Kress-Gazit, Daniela Rus:
Robot Creation from Functional Specifications. ISRR (2) 2015: 631-648 - [p1]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:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25 - 2014
- [c34]Vasumathi Raman, Hadas Kress-Gazit:
Synthesis for multi-robot controllers with interleaved motion. ICRA 2014: 4316-4321 - [c33]Spyros Maniatopoulos, Matthew Blair, Cameron Finucane, Hadas Kress-Gazit:
Open-world mission specification for reactive robots. ICRA 2014: 4328-4334 - [c32]Kai Weng Wong, Rüdiger Ehlers, Hadas Kress-Gazit:
Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems 2014 - [c31]Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit:
Synthesis with Identifiers. VMCAI 2014: 415-433 - [i2]Vasumathi Raman, Hadas Kress-Gazit:
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. CoRR abs/1409.1455 (2014) - [i1]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit:
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR abs/1410.6375 (2014) - 2013
- [j9]Vasumathi Raman, Hadas Kress-Gazit:
Explaining Impossible High-Level Robot Behaviors. IEEE Trans. Robotics 29(1): 94-104 (2013) - [c30]Matthew R. Maly, Morteza Lahijanian, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative temporal motion planning for hybrid systems in partially unknown environments. HSCC 2013: 353-362 - [c29]Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit:
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA 2013: 4075-4081 - [c28]Gangyuan Jing, Hadas Kress-Gazit:
Improving the continuous execution of reactive LTL-based controllers. ICRA 2013: 5439-5445 - [c27]Benjamin Johnson, Hadas Kress-Gazit:
Analyzing and revising high-level robot behaviors under actuator error. IROS 2013: 741-748 - [c26]Jonathan A. DeCastro, Hadas Kress-Gazit:
Guaranteeing reactive high-level behaviors for robots with complex dynamics. IROS 2013: 749-756 - [c25]Vasumathi Raman, Hadas Kress-Gazit:
Towards minimal explanations of unsynthesizability for high-level robot behaviors. IROS 2013: 757-762 - [c24]Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit:
Provably-correct robot control with LTLMoP, OMPL and ROS. IROS 2013: 2073 - [c23]Gangyuan Jing, Rüdiger Ehlers, Hadas Kress-Gazit:
Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. IROS 2013: 4796-4802 - [c22]Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton C. T. Lee, Mitchell P. Marcus, Hadas Kress-Gazit:
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. Robotics: Science and Systems 2013 - 2012
- [j8]Benjamin Johnson, Hadas Kress-Gazit:
Probabilistic guarantees for high-level robot behavior in the presence of sensor error. Auton. Robots 33(3): 309-321 (2012) - [c21]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:
Situation understanding bot through language and environment. HRI 2012: 419-420 - [c20]Benjamin Johnson, Frank Havlak, Mark E. Campbell, Hadas Kress-Gazit:
Execution and analysis of high-level tasks with dynamic obstacle anticipation. ICRA 2012: 330-337 - [c19]Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit:
Correct high-level robot control from structured English. ICRA 2012: 3543-3544 - [c18]Vasumathi Raman, Hadas Kress-Gazit:
Automated feedback for unachievable high-level robot behaviors. ICRA 2012: 5156-5162 - [c17]Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit:
Temporal logic robot mission planning for slow and fast actions. IROS 2012: 251-256 - [c16]Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit:
Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. IROS 2012: 1233-1238 - [c15]Shahar Sarid, Bingxin Xu, Hadas Kress-Gazit:
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps. Robotics: Science and Systems 2012 - 2011
- [j7]Hadas Kress-Gazit:
Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors]. IEEE Robotics Autom. Mag. 18(3): 22-23 (2011) - [j6]Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu:
Correct, Reactive, High-Level Robot Control. IEEE Robotics Autom. Mag. 18(3): 65-74 (2011) - [j5]Hadas Kress-Gazit:
Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]. IEEE Robotics Autom. Mag. 18(4): 108-109 (2011) - [c14]Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit:
Designing Reactive Robot Controllers with LTLMoP. Automated Action Planning for Autonomous Mobile Robots 2011 - [c13]Vasumathi Raman, Hadas Kress-Gazit:
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. CAV 2011: 663-668 - [c12]Sebastian Castro, Sarah Muraoka Koehler, Hadas Kress-Gazit:
High-level control of modular robots. IROS 2011: 3120-3125 - [c11]Benjamin Johnson, Hadas Kress-Gazit:
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error. Robotics: Science and Systems 2011 - 2010
- [c10]Hadas Kress-Gazit, George J. Pappas:
Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA 2010: 3215-3220 - [c9]Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit:
LTLMoP: Experimenting with language, Temporal Logic and robot control. IROS 2010: 1988-1993 - [c8]Jan M. Allbeck, Hadas Kress-Gazit:
Constraints-Based Complex Behavior in Rich Environments. IVA 2010: 1-14
2000 – 2009
- 2009
- [j4]Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas:
Temporal logic motion planning for dynamic robots. Autom. 45(2): 343-352 (2009) - [j3]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Trans. Robotics 25(6): 1370-1381 (2009) - 2008
- [j2]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Translating Structured English to Robot Controllers. Adv. Robotics 22(12): 1343-1359 (2008) - [j1]Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, George J. Pappas:
Courteous Cars. IEEE Robotics Autom. Mag. 15(1): 30-38 (2008) - [c7]Hadas Kress-Gazit, George J. Pappas:
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. CASE 2008: 766-771 - [c6]Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, Vijay Kumar:
Recycling controllers. CASE 2008: 772-777 - 2007
- [c5]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121 - [c4]David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas:
Valet parking without a valet. IROS 2007: 572-577 - [c3]Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas:
From structured english to robot motion. IROS 2007: 2717-2722 - 2005
- [c2]Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas:
Hybrid Controllers for Path Planning: A Temporal Logic Approach. CDC/ECC 2005: 4885-4890 - [c1]Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas:
Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 00:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
