M. Mohagheghi, J. Karimpour, and A. Isazadeh, “Improving modified policy iteration for probabilistic model checking”, csci, vol. 23, no. 1, Mar. 2022, doi: 10.7494/csci.2022.23.1.4139.