Skip to main content

Best Paper Award at QEST 2016


The article titled 'Verification of general Markov decision processes by approximate similarity relations and policy refinement', co-authored by Sofie Haesaert, Paul Van den Hof (Eindhoven University of Technology) and Alessandro Abate, was selected for the Best Paper Award at the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), held at Quebec City, Canada, on August 23 - 25, 2016. 

QEST is a leading forum on quantitative evaluation and verification of computer systems and networks, through stochastic models and measurements.