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