|
[PWHA16]
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert and Alessandro Abate.
Data-Efficient Bayesian Verification of Parametric Markov Chains.
In Proc. 13th International Conference on Quantitative Evaluation of Systems (QEST'16).
2016.
[Presents Bayesian methods for probabilistic model checking of Markov chains, implemented using PRISM's parametric model checking functionality.]
|
|
Links:
[Google]
[Google Scholar]
|