Skip to main content

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