@techreport{Cheng2011e, author = {Cheng, Chih-Hong and Jobstmann, Barbara and Geisinger, Michael and Diot-Girard, Sarah and Buckl, Christian and Knoll, Alois and Rue{\ss}, Harald}, title = {Optimizations for Game-based Software Synthesis}, number = {TR-2011-12}, year = {2011}, institution = {Verimag Research Report}, keywords = {Automation, mgsyn, synthesis}, }