Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate. Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. In Nathalie Bertrand 0001, Luca Bortolussi, editors, Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Volume 10503 of Lecture Notes in Computer Science, pages 259-274, Springer, 2017. [doi]

This author has not been identified. Look up 'Elizabeth Polgreen' in GoogleThis author has not been identified. Look up 'Viraj B. Wijesuriya' in GoogleThis author has not been identified. Look up 'Sofie Haesaert' in GoogleThis author has not been identified. Look up 'Alessandro Abate' in Google

runs on WebDSL