Vasumathi Raman

Morteza Lahijanian

Marcell Vazquez-Chanlatte

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

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games.

[BibT_eX]

[DOI]

Shromona Ghosh

Marcell Vazquez-Chanlatte

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Shromona Ghosh

CoRR, 2017

Model Predictive Control for Signal Temporal Logic Specification.

[BibT_eX]

[DOI]

CoRR, 2017

Towards a socially responsible smart city: dynamic resource allocation for smarter community service.

[BibT_eX]

[DOI]

Huey-Ru (Debbie) Tsai

Yasser Shoukry

Min Kyung Lee

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

On Learning Sparse Boolean Formulae for Explaining AI Decisions.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.

[BibT_eX]

[DOI]

Cristian Ioan Vasile

Sertac Karaman

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

Combining neural networks and tree search for task and motion planning in challenging environments.

[BibT_eX]

[DOI]

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

2016

The 2016 Formal Methods for Robotics Challenge [Competitions].

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2016

Obfuscator Synthesis for Privacy and Utility.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty.

[BibT_eX]

[DOI]

Susmit Jha

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

S. Shankar Sastry

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

On Optimal Control of Stochastic Linear Hybrid Systems.

[BibT_eX]

[DOI]

Susmit Jha

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

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.

[BibT_eX]

[DOI]

Susmit Jha

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis.

[BibT_eX]

[DOI]

Scott C. Livingston

Proceedings of the ARCH@CPSWeek 2016, 2016

Slugs: Extensible GR(1) Synthesis.

[BibT_eX]

[DOI]

Rüdiger Ehlers

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

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

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2015

Provably correct reactive control from natural language.

[BibT_eX]

[DOI]

Auton. Robots, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2015

Online horizon selection in receding horizon temporal logic planning.

[BibT_eX]

[DOI]

Mattias Fält

Tichakorn Wongpiromsarn

Richard M. Murray

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

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

[BibT_eX]

[DOI]

Jonathan A. DeCastro

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

Reactive synthesis from signal temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Alexandre Donzé

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Variable elimination for scalable receding horizon temporal logic planning.

[BibT_eX]

[DOI]

Mattias Fält

Richard M. Murray

Proceedings of the American Control Conference, 2015

Robust Model Predictive Control for Signal Temporal Logic Synthesis.

[BibT_eX]

[DOI]

Samira S. Farahani

Richard M. Murray

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Low-Effort Specification Debugging and Analysis.

[BibT_eX]

[DOI]

Rüdiger Ehlers

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Distributed control of a swarm of buildings connected to a smart grid: demo abstract.

[BibT_eX]

[DOI]

Tajana Simunic Rosing

Jagannathan Venkatesh

Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Reactive switching protocols for multi-robot high-level tasks.

[BibT_eX]

[DOI]

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

Synthesis for multi-robot controllers with interleaved motion.

[BibT_eX]

[DOI]

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

Model predictive control from signal temporal logic specifications: a case study.

[BibT_eX]

[DOI]

Mehdi Maasoumy

Alexandre Donzé

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Model predictive control with signal temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Explaining Unsynthesizability of High-Level Robot Behaviors.

[BibT_eX]

PhD thesis, 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

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

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

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]

Cameron Finucane

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

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

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

[BibT_eX]

[DOI]

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

2009

An epistemic characterization of zero knowledge.

[BibT_eX]

[DOI]

Joseph Y. Halpern

Rafael Pass