MAGGI, F. M.; MONTALI, M.; PEÑALOZA, R. Temporal Logics Over Finite Traces with Uncertainty. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 34, n. 06, p. 10218-10225, 2020. DOI: 10.1609/aaai.v34i06.6583. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/6583. Acesso em: 22 jul. 2024.