Mohagheghi, Mohammadsadegh, Jaber Karimpour, and Ayaz Isazadeh. 2022. “Improving Modified Policy Iteration for Probabilistic Model Checking”. Computer Science 23 (1). https://doi.org/10.7494/csci.2022.23.1.4139.