|
[DFT20]
Rayna Dimitrova, Bernd Finkbeiner and Hazem Torfah.
Probabilistic Hyperproperties of Markov Decision Processes.
In Proc. 18th International Symposium on Automated Technology for Verification and Analysis (ATVA 2020).
2020.
[Presents methods for model checking hyperproperties on Markov decision processes, with an implementation that uses PRISM to verify Markov chains.]
|
|
Links:
[Google]
[Google Scholar]
|