B. Freitas, C. Pantoja, and J. Viterbo.
" 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>, Fortaleza/CE, 2025, pp. 145-150, doi: <a href="https://doi.org/10.5753/wesaac.2025.37551">https://doi.org/10.5753/wesaac.2025.37551</a>.