[MKI22]
Mohammadsadegh Mohagheghi, Jaber Karimpour and Ayaz Isazadeh.
Improving Modified Policy Iteration for Probabilistic Model Checking.
Computer Science.
2022.
[Investigates the use of modified policy iteration for probabilistic model checking, implemented as an extension of PRISM.]
|
