TY - RPRT TI - Data-driven and Model-based Verification: a Bayesian Identification Approach AU - Sofie Haesaert AU - Paul M. J. Van den Hof AU - Alessandro Abate PY - 2015 UR - https://arxiv.org/abs/1509.03347 ID - 1509.03347 ER -