Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions

4 January 2023

Papers citing "Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions"

4 / 4 papers shown

Title
Bridging conformal prediction and scenario optimization Niall O'Sullivan Licio Romao Kostas Margellos 37 0 0 30 Mar 2025
What Are the Odds? Improving the foundations of Statistical Model Checking Tobias Meggendorfer Maximilian Weininger Patrick Wienhoft 32 4 0 08 Apr 2024
Shielded Reinforcement Learning for Hybrid Systems Asger Horn Brorholt P. G. Jensen Kim G. Larsen Florian Lorber Christian Schilling 18 4 0 28 Aug 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