KARAU, Lucas S.; 						CARDOSO, Rafael C.; 						BORGES, André P.; 						ALVES, Gleifer V..
 A Proposal for Translating Timed Automata to BDI Agents. <em>In</em>: WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 8.	, 2025, Ponta Grossa/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 208-213.