Karau, Lucas, 		Cardoso, Rafael, 		Borges, André, E 		Alves, Gleifer.
" Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI" <em>Anais do Workshop-Escola de Informática Teórica (WEIT)</em> [Online], (10 setembro 2025)