Mohagheghi, M., Karimpour, J. and Isazadeh, A. 2022. Improving Modified Policy Iteration for Probabilistic Model Checking. Computer Science. 23, 1 (Mar. 2022). DOI:https://doi.org/10.7494/csci.2022.23.1.4139.