|
[MKI20]
Mohammadsadegh Mohagheghi, Jaber Karimpour and Ayaz Isazadeh.
Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models.
The Computer Journal, 63(1), pages 105–122.
2020.
[Proposes efficiency improvements for solving Markov decision processes, implemented as an extension of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|