MOHAGHEGHI, M.; KARIMPOUR, J.; ISAZADEH, A. 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: 4 dec. 2024.