Lógica y Automatización para Máquinas Avanzadas