Data−Efficient Bayesian Verification of Parametric Markov Chains
Elizabeth Polgreen‚ Viraj B. Wijesuriya‚ Sofie Haesaert and Alessandro Abate
Book Title
QEST
Pages
35–51
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
9826
Year
2016