NARVÁEZ, Daniel; 						BALICH, Néstor; 						ROSSI, Gustavo.
 MAPE-KV: Una Arquitectura Neuro-Simbólica Verificada para la Orquestación de Enjambres Robóticos. <em>In</em>: CONGRESSO IBERO-AMERICANO EM ENGENHARIA DE SOFTWARE (CIBSE), 29.	, 2026, Recife/PE.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 428-429.