Mohagheghi, M.; Karimpour, J.; Isazadeh, A. Improving Modified Policy Iteration for Probabilistic Model Checking. csci 2022, 23 (1). https://doi.org/10.7494/csci.2022.23.1.4139.