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