Real-World Verification Techniques for Robotic and Embedded BDI Agents: A Systematic Mapping

Authors: Bruno Policarpo Toledo Freitas, Carlos Eduardo Pantoja, José Viterbo

Year: 2025

Venue: Anais do XIX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2025)

Area: DOI.org (Crossref)

Pages: 145-150

DOI: 10.5753/wesaac.2025.37551