Aprendizaje Profundo Modular por Refuerzo con Especificaciones de Lógica Temporal