Freitas, Bruno, 		Pantoja, Carlos, E 		Viterbo, José.
" Real-world verification techniques for Robotic and Embedded BDI agents: A systematic mapping" <em>Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC)</em> [Online], (29 setembro 2025)