controller synthesis from succinct safety specifications