Synthesise Control Objectives ()