Creadores Top en course-label.default.value-NaN.reduced Síntesis, Verificación y Razonamiento Sobre Agentes Inteligentes