ResearchTrend.AI
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems

Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems

Andrea Peruffo
M. Mazo
ArXiv (abs)PDFHTML

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
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
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
John Jackson
Luca Laurenti
Eric Frew
Morteza Lahijanian
66
16
0
31 Dec 2021

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.