MALLETT, I.; THIEBAUX, S.; TREVIZAN, F. Progression Heuristics for Planning with Probabilistic LTL Constraints. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 35, n. 13, p. 11870-11879, 2021. DOI: 10.1609/aaai.v35i13.17410. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/17410. Acesso em: 19 apr. 2024.