Freitas, B., 		Pantoja, C., & 		Viterbo, J.
2025 set 29.  Real-world verification techniques for Robotic and Embedded BDI agents: A systematic mapping. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC). [Online] :