Model Checking Multi-Agent Systems. Informatica, [S. l.], v. 29, n. 2, Disponível em: https://www.informatica.si/index.php/informatica/article/view/32. Acesso em: 2 jul. 2026.