Hadas Kress-Gazit

IEEE Robotics Autom. Lett., August, 2024

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

[BibT_eX]

[DOI]

Himani Sinhmar

IEEE Trans. Robotics, 2024

Robot Learning as an Empirical Science: Best Practices for Policy Evaluation.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

Amy Fang

Tenny Yin

CoRR, 2024

Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams.

[BibT_eX]

[DOI]

CoRR, 2024

Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots.

[BibT_eX]

[DOI]

Himani Sinhmar

CoRR, 2024

Automated Robot Recovery from Assumption Violations of High-Level Specifications.

[BibT_eX]

[DOI]

Qian Meng

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents.

[BibT_eX]

[DOI]

Amy Fang

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

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

[BibT_eX]

[DOI]

IEEE Trans. Robotics, December, 2023

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.

[BibT_eX]

[DOI]

Wil Thomason

IEEE Trans. Robotics, October, 2023

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

[BibT_eX]

[DOI]

Steven James

George Dimitri Konidaris

Int. J. Robotics Res., April, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.

[BibT_eX]

[DOI]

Guy Scher

Sadra Sadraddini

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

2022

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

[BibT_eX]

[DOI]

David Gundana

IEEE Robotics Autom. Lett., 2022

Timing-Specified Controllers with Feedback for Human-Robot Handovers.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation.

[BibT_eX]

[DOI]

Himani Sinhmar

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks.

[BibT_eX]

[DOI]

Guy Scher

Sadra Sadraddini

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots.

[BibT_eX]

[DOI]

Amy Fang

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Gender Diversity of Conference Leadership [Women in Engineering].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2021

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

[BibT_eX]

[DOI]

David Gundana

IEEE Robotics Autom. Lett., 2021

Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints.

[BibT_eX]

[DOI]

Thais Campos

CoRR, 2021

Formalizing and guaranteeing human-robot interaction.

[BibT_eX]

[DOI]

Commun. ACM, 2021

Homotopy-Driven Exploration of Human-made Spaces Using Signs.

[BibT_eX]

[DOI]

Claire Liang

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Learning and Planning for Temporally Extended Tasks in Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Errors in Collective Robotic Construction.

[BibT_eX]

[DOI]

Proceedings of the Distributed Autonomous Robotic Systems - 15th International Symposium, 2021

Distributed Control of Robotic Swarms from Reactive High-Level Specifications.

[BibT_eX]

[DOI]

Ji Chen

Ruojia Sun

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

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

[BibT_eX]

[DOI]

Auton. Robots, 2020

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

[BibT_eX]

[DOI]

Thomas M. Howard

Amanda Prorok

Auton. Robots, 2020

Robots That Use Language.

[BibT_eX]

[DOI]

Annu. Rev. Control. Robotics Auton. Syst., 2020

Automated Synthesis of Modular Manipulators' Structure and Control for Continuous Tasks around Obstacles.

[BibT_eX]

[DOI]

Thais Campos de Almeida

Samhita Marri

Proceedings of the Robotics: Science and Systems XVI, 2020

Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Finding Missing Skills for High-Level Behaviors.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

JESSIE: Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation and Beyond.

[BibT_eX]

[DOI]

Proceedings of the HRI '20: ACM/IEEE International Conference on Human-Robot Interaction, 2020

Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees.

[BibT_eX]

[DOI]

Guy Scher

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field].

[BibT_eX]

[DOI]

Lee E. Clement

Valentin Peretroukhin

IEEE Robotics Autom. Mag., 2019

Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations.

[BibT_eX]

[DOI]

George Konidaris

Proceedings of the Robotics Research, 2019

Specifying and Synthesizing Human-Robot Handovers.

[BibT_eX]

[DOI]

Alap Kshirsagar

Guy Hoffman

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Resilient Task Planning and Execution for Reactive Soft Robots.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

SMT-Based Control and Feedback for Social Navigation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Task-Based Design of Ad-hoc Modular Manipulators.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

2018

Resilient, Provably-Correct, and High-Level Robot Behaviors.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2018

An integrated system for perception-driven autonomy with modular robots.

[BibT_eX]

[DOI]

Sci. Robotics, 2018

Resource-Performance Tradeoff Analysis for Mobile Robots.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.

[BibT_eX]

[DOI]

Hazem Torfah

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

Accomplishing high-level tasks with modular robots.

[BibT_eX]

[DOI]

Auton. Robots, 2018

Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.

[BibT_eX]

[DOI]

Auton. Robots, 2018

Synthesis for Robots: Guarantees and Feedback for Robot Behavior.

[BibT_eX]

[DOI]

Morteza Lahijanian

Annu. Rev. Control. Robotics Auton. Syst., 2018

Perception-Informed Autonomous Environment Augmentation with Modular Robots.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Reactive Synthesis for Robotic Swarms.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Verifiable Control of Robotic Swarm from High-level Specifications.

[BibT_eX]

[DOI]

Ji Chen

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots.

[BibT_eX]

[DOI]

J. Field Robotics, 2017

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

[BibT_eX]

[DOI]

J. Field Robotics, 2017

Automated generation of dynamics-based runtime certificates for high-level control.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

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

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Robot-Initiated Specification Repair through Grounded Language Interaction.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

Contextual awareness: Understanding monologic natural language instructions for autonomous robots.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

Decentralized control of robotic swarms from high-level temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), 2017

From High-Level Task Specification to Robot Operating System (ROS) Implementation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2016

Resource-Performance Trade-off Analysis for Mobile Robots.

[BibT_eX]

[DOI]

CoRR, 2016

An End-To-End System for Accomplishing Tasks with Modular Robots.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Gait Synthesis for Modular Soft Robots.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Experimental Robotics, 2016

Need-based coordination for decentralized high-level robot control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Reactive high-level behavior synthesis for an Atlas humanoid robot.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Syntax-Guided Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2015

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2015

Analyzing and revising synthesized controllers for robots with sensing and actuation errors.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2015

Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2015

Provably correct reactive control from natural language.

[BibT_eX]

[DOI]

Auton. Robots, 2015

Computer-Aided Compositional Design and Verification for Modular Robots.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2015

Robot Creation from Functional Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2015

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2015

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014

Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Synthesis with Identifiers.

[BibT_eX]

[DOI]

Sanjit A. Seshia

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Correct High-level Robot Behavior in Environments with Unexpected Events.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems X, 2014

Synthesis for multi-robot controllers with interleaved motion.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Open-world mission specification for reactive robots.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Explaining Impossible High-Level Robot Behaviors.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2013

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Towards minimal explanations of unsynthesizability for high-level robot behaviors.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Analyzing and revising high-level robot behaviors under actuator error.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Guaranteeing reactive high-level behaviors for robots with complex dynamics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nir Piterman

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Improving the continuous execution of reactive LTL-based controllers.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Iterative temporal motion planning for hybrid systems in partially unknown environments.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Auton. Robots, 2012

Guaranteeing High-Level Behaviors while Exploring Partially Known Maps.

[BibT_eX]

[DOI]

Shahar Sarid

Bingxin Xu

Proceedings of the Robotics: Science and Systems VIII, 2012

Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory.

[BibT_eX]

[DOI]

Bingxin Xu

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Temporal logic robot mission planning for slow and fast actions.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Automated feedback for unachievable high-level robot behaviors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Execution and analysis of high-level tasks with dynamic obstacle anticipation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Correct high-level robot control from structured English.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Situation understanding bot through language and environment.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Human-Robot Interaction, 2012

2011

Correct, Reactive, High-Level Robot Control.

[BibT_eX]

[DOI]

Tichakorn Wongpiromsarn

Ufuk Topcu

IEEE Robotics Autom. Mag., 2011

Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2011

Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2011

Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems VII, 2011

High-level control of modular robots.

[BibT_eX]

[DOI]

Sebastian Castro

Sarah Muraoka Koehler

Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011

Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Designing Reactive Robot Controllers with LTLMoP.

[BibT_eX]

[DOI]

Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011

2010

Constraints-Based Complex Behavior in Rich Environments.

[BibT_eX]

[DOI]

Jan M. Allbeck

Proceedings of the Intelligent Virtual Agents, 10th International Conference, 2010

LTLMoP: Experimenting with language, Temporal Logic and robot control.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Automatic synthesis of robot controllers for tasks with locative prepositions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009

Temporal-Logic-Based Reactive Mission and Motion Planning.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2009

Temporal logic motion planning for dynamic robots.

[BibT_eX]

[DOI]

Autom., 2009

2008

Courteous Cars.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2008

Translating Structured English to Robot Controllers.

[BibT_eX]

[DOI]

Adv. Robotics, 2008

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge.

[BibT_eX]

[DOI]

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

Recycling controllers.

[BibT_eX]

[DOI]

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

2007

From structured english to robot motion.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Valet parking without a valet.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2005

Temporal Logic Motion Planning for Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Hybrid Controllers for Path Planning: A Temporal Logic Approach.

[BibT_eX]

[DOI]