MOHAGHEGHI, Mohammadsadegh; KARIMPOUR, Jaber; ISAZADEH, Ayaz. Improving modified policy iteration for probabilistic model checking. Computer Science, [S. l.], v. 23, n. 1, 2022. DOI: 10.7494/csci.2022.23.1.4139. Disponível em: https://journals.agh.edu.pl/csci/article/view/4139. Acesso em: 12 apr. 2025.