Stop the war!Остановите войну!
for scientists:
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
- 2023
[j32]Adam Pacheck
, Steven D. 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)- [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 D. 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]