Karau, L., 		Cardoso, R., 		Borges, A., & 		Alves, G.
(2025).
 Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI.
In <em>Anais do VIII Workshop-Escola de Informática Teórica</em>, (pp. 208-213). Porto Alegre: SBC.
doi:10.5753/weit.2025.40461