Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

12 October 2022

Papers citing "Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty"

5 / 5 papers shown

Title
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions Thom S. Badings Licio Romao Alessandro Abate David Parker Hasan A. Poonawala Marielle Stoelinga N. Jansen 26 36 0 04 Jan 2023
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics Luke Rickard Thom S. Badings Licio Romao Alessandro Abate 26 5 0 01 Dec 2022
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 19 21 0 11 Oct 2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Andrea Peruffo M. Mazo 21 13 0 10 Mar 2022
Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems Glen Chou N. Ozay Dmitry Berenson 24 25 0 18 Apr 2021