|
[AKW19]
Pranav Ashok, Jan Kretinsky and Maximilian Weininger.
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games.
In Proc. 31st International Conference on Computer Aided Verification (CAV'19).
2019.
[Presents statistical model checking methods for MDPs and stochastic games, implemented as an extension of PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|