BOUTON, M.; TUMOVA, J.; KOCHENDERFER, M. J. Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 34, n. 06, p. 10061-10068, 2020. DOI: 10.1609/aaai.v34i06.6563. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/6563. Acesso em: 20 apr. 2024.