Freitas, B., 		Pantoja, C., & 		Viterbo, J.
2025 Sep 29.  Real-world verification techniques for Robotic and Embedded BDI agents: A systematic mapping. Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC). [Online] :