Mohagheghi, Mohammadsadegh, et al. “Improving Modified Policy Iteration for Probabilistic Model Checking”. Computer Science, vol. 23, no. 1, Mar. 2022, https://doi.org/10.7494/csci.2022.23.1.4139.