M. Mohagheghi, J. Karimpour, and A. Isazadeh, “Improving Modified Policy Iteration for Probabilistic Model Checking”, csci, vol. 23, no. 1, Mar. 2022.