KARAU, Lucas S.; 						CARDOSO, Rafael C.; 						BORGES, André P.; 						ALVES, Gleifer V..
 Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI. <em>In</em>: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 8.	, 2025, Ponta Grossa/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 208-213. 
		DOI: <a href="https://doi.org/10.5753/weit.2025.40461">https://doi.org/10.5753/weit.2025.40461</a>.