Freitas, Bruno, Carlos Eduardo Pantoja, and José Viterbo.
" Real-world verification techniques for Robotic and Embedded BDI agents: A systematic mapping." <em>Anais do XIX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações,
Fortaleza/CE, 2025</em>. SBC, 2025,  
pp.145-150.