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