Bruno Freitas, Carlos Pantoja, and José Viterbo. 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>, setembro 29, 2025, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 145-150. DOI: <a href="https://doi.org/10.5753/wesaac.2025.37551">https://doi.org/10.5753/wesaac.2025.37551</a>.