Creadores en #Síntesis, Verificación y Razonamiento Sobre Agentes Inteligentes