@Inproceedings{EPTCS260.4, author = {Bloem, Roderick and Schewe, Sven and Khalimov, Ayrat}, year = {2017}, title = {CTL* synthesis via LTL synthesis}, 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 = {4-22}, doi = {10.4204/EPTCS.260.4}, }