|
[PWHA17]
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert and Alessandro Abate.
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
In Proc. 14th International Conference on Quantitative Evaluation of Systems (QEST'16).
2017.
[Presents a Bayesian approach to statistical model checking, employing PRISM for parametric model checking.]
|
|
Links:
[Google]
[Google Scholar]
|