Mohagheghi, Mohammadsadegh, Jaber Karimpour, and Ayaz Isazadeh. “Improving Modified Policy Iteration for Probabilistic Model Checking”. Computer Science 23, no. 1 (March 29, 2022). Accessed April 12, 2025. https://journals.agh.edu.pl/csci/article/view/4139.