Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. - Oscar Lindvall Bulancea; Petter Nilsson; Necmiye Ozay (ADHS, 2018)