Mohagheghi M., Khademi A. Policy based interval iteration for probabilistic model checking // # 25, 2024
