Karau, Lucas, 		Cardoso, Rafael, 		Borges, André, AND 		Alves, Gleifer.
" A Proposal for Translating Timed Automata to BDI Agents" <em>Proceedings of the Workshop-School on Theoretical Computer Science (WEIT)</em> [Online], (10 September 2025)