@Inproceedings{EPTCS260.7, author = {Firman, Elizabeth and Maoz, Shahar and Ringert, Jan Oliver}, year = {2017}, title = {Performance Heuristics for GR(1) Synthesis and Related Algorithms}, editor = {Fisman, Dana and Jacobs, Swen}, booktitle = {{\rm Proceedings Sixth Workshop on} Synthesis, {\rm Heidelberg, Germany, 22nd July 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {260}, publisher = {Open Publishing Association}, pages = {62-80}, doi = {10.4204/EPTCS.260.7}, }