Lucas Karau, Rafael Cardoso, André Borges, and Gleifer Alves. 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>, setembro 10, 2025, Ponta Grossa/PR, Brasil. SBC, Porto Alegre, Brasil, 208-213.