Mohagheghi, M., J. Karimpour, and A. Isazadeh. “Improving Modified Policy Iteration for Probabilistic Model Checking”. Computer Science, vol. 23, no. 1, Mar. 2022, doi:10.7494/csci.2022.23.1.4139.