Sofie Haesaert Paul M. J. Van den Hof Alessandro Abate Data-driven property verification of grey-box systems by Bayesian experiment design. 1800-1805 2015 ACC https://doi.org/10.1109/ACC.2015.7170994 conf/amcc/2015 db/conf/amcc/acc2015.html#HaesaertHA15