Mohagheghi M, Karimpour J, Isazadeh A. Improving modified policy iteration for probabilistic model checking. csci [Internet]. 2022 Mar. 29 [cited 2025 Apr. 11];23(1). Available from: https://journals.agh.edu.pl/csci/article/view/4139