Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems

10 March 2022

Papers citing "Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems"

2 / 2 papers shown

Title
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty Thom S. Badings Licio Romao Alessandro Abate N. Jansen 78 29 0 12 Oct 2022
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression John Jackson Luca Laurenti Eric Frew Morteza Lahijanian 66 16 0 31 Dec 2021