Data-efficient Bayesian verification of parametric Markov chains (International Conference on Quantitative Evaluation of Systems: QEST 2016: Quantitative Evaluation of Systems, 2016)

(untitled) - Polgreen, E; Wijesuriya, V; Haesaert, S; Abate, A