D. Narváez, N. Balich, and G. Rossi. " MAPE-KV: Una Arquitectura Neuro-Simbólica Verificada para la Orquestación de Enjambres Robóticos", in Anais do XXIX Congresso Ibero-Americano em Engenharia de Software, Recife/PE, 2026, pp. 428-429.