Posted: 1st July 2016

The article titled ‘Experiment Design for Formal Verification Via Stochastic Optimal Control’, co-authored by Sofie Haesaert, Paul Van den Hof and Alessandro Abate, was selected as one of the five finalists (amongst some 450 accepted papers) for the Best Student Paper Award of the 2016 European Control Conference (ECC16), held at Aalborg University, Aalborg, Denmark, June 29 - July 1, 2016. 

ECC is a premier yearly conference in control theory, which is held this year in its fifteenth edition.  

Sofie Haesaert, officially a PhD student at TU Eindhoven (Netherlands) and co-advised at Oxford by Alessandro Abate, is a familiar face in our department having spent a number of visits at Oxford.  

At the same conference Marta Kwiatkovska has delivered a keynote talk titled ‘Quantitative verification and strategy synthesis for stochastic games’