@Inproceedings{EPTCS50.3, author = {Morgenstern, Andreas and Schneider, Klaus}, year = {2011}, title = {A LTL Fragment for GR(1)-Synthesis}, editor = {Reich, Johannes and Finkbeiner, Bernd}, booktitle = {{\rm Proceedings International Workshop on} Interactions, Games and Protocols, {\rm Saarbr\"ucken, Germany, 27th March 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {50}, publisher = {Open Publishing Association}, pages = {33-45}, doi = {10.4204/EPTCS.50.3}, }