Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

25 October 2021

Alessandro Abate

Hasan A. Poonawala

Marielle Stoelinga

Papers citing "Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise"

11 / 11 papers shown

Title
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties S. Akshay Krishnendu Chatterjee Tobias Meggendorfer Dorde Zikelic 21 1 0 07 May 2024
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 32 9 0 03 Dec 2023
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions Thom S. Badings Nils Jansen Licio Romao Alessandro Abate 25 0 0 16 Nov 2023
Decision-Making Under Uncertainty: Beyond Probabilities Thom S. Badings T. D. Simão Marnix Suilen N. Jansen UD PER 23 12 0 10 Mar 2023
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 29 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
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty Thom S. Badings Licio Romao Alessandro Abate N. Jansen 19 26 0 12 Oct 2022
An Analysis of Model-Based Reinforcement Learning From Abstracted Observations Rolf A. N. Starre Marco Loog E. Congeduti F. Oliehoek OffRL 30 1 0 30 Aug 2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Andrea Peruffo M. Mazo 21 13 0 10 Mar 2022
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression John Jackson Luca Laurenti Eric Frew Morteza Lahijanian 8 16 0 31 Dec 2021
Correct-by-construction reach-avoid control of partially observable linear stochastic systems Thom S. Badings Hasan A. Poonawala Marielle Stoelinga N. Jansen 19 1 0 03 Mar 2021