Machine Learning seminar When: Fri, 20 Oct 2017, 1pm Where: AG24a, College Building Who: Alessandro Abate, University of Oxford Title: Data-driven and model-based quantitative verification of physical systems Abstract: In this seminar I discuss a new and formal, measurement-driven and model-based automated verification technique, to be applied on quantitative properties over systems with partly unknown…Continue Reading ML seminar, Fri 20 Oct, 1pm