Freitas, B., 		Pantoja, C., & 		Viterbo, J.
(2025).
 Real-world verification techniques for Robotic and Embedded BDI agents: A systematic mapping.
In <em>Anais do XIX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações</em>, (pp. 145-150). Porto Alegre: SBC.
doi:10.5753/wesaac.2025.37551