Performance Heuristics for GR(1) Synthesis and Related Algorithms. - Elizabeth Firman; Shahar Maoz; Jan Oliver Ringert (SYNT@CAV, 2017)