Data-driven and model-based verification via Bayesian identification and reachability analysis

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate. Data-driven and model-based verification via Bayesian identification and reachability analysis. Automatica, 79:115-126, 2017. [doi]

Abstract

Abstract is missing.