Data-driven Property Verification of Grey-Box Systems by Bayesian Experiment Design Haesaert, S Van Den Hof, P Abate, A 1800-1805 (01 Jul 2015)
