Mohagheghi M, Karimpour J, Isazadeh A. Improving Modified Policy Iteration for Probabilistic Model Checking. csci [Internet]. 2022Mar.29 [cited 2024Dec.4];23(1). Available from: https://journals.agh.edu.pl/csci/article/view/4139