Morteza Lahijanian

Zachary N. Sunberg

IEEE Robotics Autom. Lett., February, 2024

Chance-Constrained Multi-Robot Motion Planning Under Gaussian Uncertainties.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., January, 2024

Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs.

[BibT_eX]

[DOI]

CoRR, 2024

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics.

[BibT_eX]

[DOI]

CoRR, 2024

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics.

[BibT_eX]

[DOI]

CoRR, 2024

Kino-PAX: Highly Parallel Kinodynamic Sampling-based Planner.

[BibT_eX]

[DOI]

Nicolas Perrault

CoRR, 2024

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games.

[BibT_eX]

[DOI]

CoRR, 2024

Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification.

[BibT_eX]

[DOI]

Frederik Baymler Mathiesen

CoRR, 2024

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection.

[BibT_eX]

[DOI]

CoRR, 2024

Online Pareto-Optimal Decision-Making for Complex Tasks using Active Inference.

[BibT_eX]

[DOI]

CoRR, 2024

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives.

[BibT_eX]

[DOI]

CoRR, 2024

Data-Driven Permissible Safe Control with Barrier Certificates.

[BibT_eX]

[DOI]

Rayan Mazouz

John Skovbekk

Eric W. Frew

Frederik Baymler Mathiesen

CoRR, 2024

Piecewise Stochastic Barrier Functions.

[BibT_eX]

[DOI]

Rayan Mazouz

Frederik Baymler Mathiesen

CoRR, 2024

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification.

[BibT_eX]

[DOI]

CoRR, 2024

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2024

Temporal segmentation in multi agent path finding with applications to explainability.

[BibT_eX]

[DOI]

Artif. Intell., 2024

Introducing Delays in Multi Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Optimal Planning for Timed Partial Order Specifications.

[BibT_eX]

[DOI]

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

Stochastic Games for Interactive Manipulation Domains.

[BibT_eX]

[DOI]

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

Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking.

[BibT_eX]

[DOI]

Hanspeter Schaub

Proceedings of the American Control Conference, 2024

2023

Formal Abstraction of General Stochastic Systems via Noise Partitioning.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Promises of Deep Kernel Learning for Control Synthesis.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Recursively-Constrained Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2023

Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming.

[BibT_eX]

[DOI]

CoRR, 2023

Introducing Delays in Multi-Agent Path Finding.

[BibT_eX]

[DOI]

CoRR, 2023

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.

[BibT_eX]

[DOI]

IROS, 2023

Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks.

[BibT_eX]

[DOI]

Peter Amorese

IROS, 2023

Chance-Constrained Motion Planning with Event-Triggered Estimation.

[BibT_eX]

[DOI]

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

Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic.

[BibT_eX]

[DOI]

Roland B. Ilyes

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

Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides.

[BibT_eX]

[DOI]

Zachary N. Sunberg

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

BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Interval Markov Decision Processes with Continuous Action-Spaces.

[BibT_eX]

[DOI]

Giannis Delimpaltadakis

Manuel Mazo Jr.

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Timed Partial Order Inference Algorithm.

[BibT_eX]

[DOI]

Tomoya Yamaguchi

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Online Mapping and Motion Planning Under Uncertainty for Safe Navigation in Unknown Environments.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2022

Formal Control Synthesis for Stochastic Neural Network Dynamic Models.

[BibT_eX]

[DOI]

Steven Adams

IEEE Control. Syst. Lett., 2022

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.

[BibT_eX]

[DOI]

CoRR, 2022

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

An Algorithm for Learning Switched Linear Dynamics from Data.

[BibT_eX]

[DOI]

Guillaume O. Berger

Monal Narasimhamurthy

Kandai Watanabe

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Conflict-Based Search for Multi-Robot Motion Planning with Kinodynamic Constraints.

[BibT_eX]

[DOI]

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

Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation.

[BibT_eX]

[DOI]

Peter Amorese

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

Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning.

[BibT_eX]

[DOI]

Zachary N. Sunberg

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

Pareto Optimal Strategies for Event-triggered Estimation.

[BibT_eX]

[DOI]

Anne Theurkauf

Nisar R. Ahmed

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Shielded Deep Reinforcement Learning for Multi-Sensor Spacecraft Imaging.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

Conflict-Based Search for Explainable Multi-Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Probabilistic Specification Learning for Planning with Safety Constraints.

[BibT_eX]

[DOI]

Kandai Watanabe

Nicholas Renninger

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

Finite-Horizon Synthesis for Probabilistic Manipulation Domains.

[BibT_eX]

[DOI]

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

MAPS-X: Explainable Multi-Robot Motion Planning via Segmentation.

[BibT_eX]

[DOI]

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

Strategy synthesis for partially-known switched stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

LTLf Synthesis on Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments.

[BibT_eX]

[DOI]

CoRR, 2020

Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Explainable Multi Agent Path Finding.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2019

Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2019

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.

[BibT_eX]

[DOI]

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

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture.

[BibT_eX]

[DOI]

Francisco Eiras

Marta Kwiatkowska

Proceedings of the IEEE 2nd Connected and Automated Vehicles Symposium, 2019

2018

Resource-Performance Tradeoff Analysis for Mobile Robots.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

Synthesis for Robots: Guarantees and Feedback for Robot Behavior.

[BibT_eX]

[DOI]

Hadas Kress-Gazit

Vasumathi Raman

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

Uncertainty-based Online Mapping and Motion Planning for Marine Robotics Guidance.

[BibT_eX]

[DOI]

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

2017

Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Reactive synthesis for finite tasks under resource constraints.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

Specification revision for Markov decision processes with optimal trade-off.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Social Trust: A Major Challenge for the Future of Autonomous Systems.

[BibT_eX]

[DOI]

Marta Kwiatkowska

Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015

Formal Verification and Synthesis for Discrete-Time Stochastic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Temporal logic motion control using actor-critic methods.

[BibT_eX]

[DOI]

Jing Wang

Xu Chu Ding

Ioannis Ch. Paschalidis

Int. J. Robotics Res., 2015

Towards manipulation planning with temporal logic specifications.

[BibT_eX]

[DOI]

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

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Asymptotically Optimal Stochastic Motion Planning with Temporal Goals.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XI, 2014

Fast stochastic motion planning with optimality guarantees using local policy reconfiguration.

[BibT_eX]

[DOI]

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

A sampling-based strategy planner for nondeterministic hybrid systems.

[BibT_eX]

[DOI]

Lydia E. Kavraki

Moshe Y. Vardi

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

Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

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

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2012

Approximate Markovian abstractions for linear stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Probabilistically Safe Vehicle Control in a Hostile Environment

[BibT_eX]

[DOI]

CoRR, 2011

Least squares temporal difference actor-critic methods with applications to robot motion control.

[BibT_eX]

[DOI]

Reza Moazzez Estanjini

Ioannis Ch. Paschalidis

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Control of Markov decision processes from PCTL specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2011

2010

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees.

[BibT_eX]

[DOI]

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

2009

Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE).

[BibT_eX]

[DOI]

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

A probabilistic approach for control of a stochastic system from LTL specifications.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Observers in Language-Based Control.

[BibT_eX]

[DOI]

Dimitris Hristu-Varsakelis