Hadas Kress-Gazit

According to our database1, Hadas Kress-Gazit
  • authored at least 68 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots.
J. Field Robotics, 2017

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle.
J. Field Robotics, 2017

Automated generation of dynamics-based runtime certificates for high-level control.
Discrete Event Dynamic Systems, 2017

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).
Dagstuhl Reports, 2017

Perception-Informed Autonomous Environment Augmentation With Modular Robots.
CoRR, 2017

Robot-Initiated Specification Repair through Grounded Language Interaction.
CoRR, 2017

An Integrated System for Perception-Driven Autonomy with Modular Robots.
CoRR, 2017

From High-Level Task Specification to Robot Operating System (ROS) Implementation.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017

An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees.
IEEE Trans. Robotics, 2016

Resource-Performance Trade-off Analysis for Mobile Robots.
CoRR, 2016

An End-To-End System for Accomplishing Tasks with Modular Robots.
Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Need-based coordination for decentralized high-level robot control.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

A model for verifiable grounding and execution of complex natural language instructions.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Reactive high-level behavior synthesis for an Atlas humanoid robot.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control.
IEEE Trans. Robotics, 2015

Analyzing and revising synthesized controllers for robots with sensing and actuation errors.
I. J. Robotics Res., 2015

Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.
I. J. Robotics Res., 2015

Provably correct reactive control from natural language.
Auton. Robots, 2015

Computer-Aided Compositional Design and Verification for Modular Robots.
Proceedings of the Robotics Research, 2015

Robot Creation from Functional Specifications.
Proceedings of the Robotics Research, 2015

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems.
Proceedings of the Robotics Research, 2015

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors.
CoRR, 2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR, 2014

Synthesis with Identifiers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Correct High-level Robot Behavior in Environments with Unexpected Events.
Proceedings of the Robotics: Science and Systems X, 2014

Synthesis for multi-robot controllers with interleaved motion.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Open-world mission specification for reactive robots.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013
Explaining Impossible High-Level Robot Behaviors.
IEEE Trans. Robotics, 2013

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language.
Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

Provably-correct robot control with LTLMoP, OMPL and ROS.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Towards minimal explanations of unsynthesizability for high-level robot behaviors.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Analyzing and revising high-level robot behaviors under actuator error.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Guaranteeing reactive high-level behaviors for robots with complex dynamics.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Improving the continuous execution of reactive LTL-based controllers.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Iterative temporal motion planning for hybrid systems in partially unknown environments.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012
Probabilistic guarantees for high-level robot behavior in the presence of sensor error.
Auton. Robots, 2012

Guaranteeing High-Level Behaviors while Exploring Partially Known Maps.
Proceedings of the Robotics: Science and Systems VIII, 2012

Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Temporal logic robot mission planning for slow and fast actions.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Automated feedback for unachievable high-level robot behaviors.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Execution and analysis of high-level tasks with dynamic obstacle anticipation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Correct high-level robot control from structured English.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Situation understanding bot through language and environment.
Proceedings of the International Conference on Human-Robot Interaction, 2012

2011
Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata].
IEEE Robot. Automat. Mag., 2011

Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error.
Proceedings of the Robotics: Science and Systems VII, 2011

High-level control of modular robots.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Designing Reactive Robot Controllers with LTLMoP.
Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011

2010
Constraints-Based Complex Behavior in Rich Environments.
Proceedings of the Intelligent Virtual Agents, 10th International Conference, 2010

LTLMoP: Experimenting with language, Temporal Logic and robot control.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Automatic synthesis of robot controllers for tasks with locative prepositions.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009
Temporal-Logic-Based Reactive Mission and Motion Planning.
IEEE Trans. Robotics, 2009

Temporal logic motion planning for dynamic robots.
Automatica, 2009

2008
Courteous Cars.
IEEE Robot. Automat. Mag., 2008

Translating Structured English to Robot Controllers.
Advanced Robotics, 2008

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

Recycling controllers.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007
From structured english to robot motion.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Valet parking without a valet.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Where's Waldo? Sensor-Based Temporal Logic Motion Planning.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2005
Temporal Logic Motion Planning for Mobile Robots.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005


  Loading...