Mohagheghi, M.; Karimpour, J.; Isazadeh, A. Improving Modified Policy Iteration for Probabilistic Model Checking. csci 2022, 23.