Mohagheghi, M., Karimpour, J., & Isazadeh, A. (2022). Improving modified policy iteration for probabilistic model checking.
Computer Science
,
23
(1).
https://doi.org/10.7494/csci.2022.23.1.4139