@article(AlurHK02,
 author       = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "J. ACM",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@incollection(ArnoldWal07,
 author       = "Andr{\'e} Arnold and Igor Walukiewicz",
 year         = "2007",
 title        = "Nondeterministic controllers of nondeterministic processes",
 booktitle    = "Logic and Automata",
 volume       = "2",
 publisher    = "Amsterdam University Press",
)
@article(BerwangerKai10,
 author       = "Dietmar Berwanger and {\L }ukasz Kaiser",
 year         = "2010",
 title        = "Information Tracking in Games on Graphs",
 journal      = "Journal of Logic, Language and Information",
 volume       = "19",
 number       = "4",
 pages        = "395--412",
 doi          = "10.1007/s10849-009-9115-8",
)
@inproceedings(BKP11,
 author       = "Dietmar Berwanger and {\L }ukasz Kaiser and Bernd Puchala",
 year         = "2011",
 title        = "Perfect-Information Construction for Coordination in Games",
 booktitle    = "{P}roceedings of the 31st {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'11)",
 series       = "Leibniz International Proceedings in Informatics",
 volume       = "13",
 publisher    = "Leibniz-Zentrum f{\"u}r Informatik",
 address      = "Mumbai, India",
 pages        = "387--398",
 doi          = "10.4230/LIPIcs.FSTTCS.2011.387",
)
@inproceedings(FinkbeinerSch05,
 author       = "B. Finkbeiner and S. Schewe",
 year         = "2005",
 title        = "{U}niform Distributed Synthesis",
 booktitle    = "Proc. of LICS~'05",
 publisher    = "IEEE",
 pages        = "321--330",
 doi          = "10.1109/LICS.2005.53",
)
@book(GraedelTW02,
 editor       = "Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke",
 year         = "2002",
 title        = "Automata, Logics, and Infinite Games",
 series       = "LNCS",
 volume       = "2500",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/3-540-36387-4",
)
@inproceedings(Janin07,
 author       = "David Janin",
 year         = "2007",
 title        = "On the (High) Undecidability of Distributed Synthesis Problems",
 booktitle    = "Proc. of Theory and Practice of Computer Science (SOFSEM 2007)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4362",
 publisher    = "Springer",
 pages        = "320--329",
 doi          = "10.1007/978-3-540-69507-3\_26",
)
@inproceedings(Kai06,
 author       = "{\L {}}ukasz Kaiser",
 year         = "2006",
 title        = "Game Quantification on Automatic Structures and Hierarchical Model Checking Games",
 booktitle    = "Proc. of CSL~'06",
 series       = "LNCS",
 volume       = "4207",
 publisher    = "Springer",
 pages        = "411--425",
 doi          = "10.1007/11874683\_27",
)
@inproceedings(KupfermanVar01,
 author       = "Orna Kupferman and Moshe Y. Vardi",
 year         = "2001",
 title        = "Synthesizing Distributed Systems",
 booktitle    = "Proc. of LICS~'01",
 publisher    = "IEEE Computer Society Press",
 pages        = "389--398",
 doi          = "10.1109/LICS.2001.932514",
)
@inproceedings(PnueliRos89,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the synthesis of a reactive module",
 booktitle    = "Proceedings of the Sixteenth Annual {ACM} Symposium on Principles of Programming Languages, POPL~'89",
 publisher    = "ACM Press",
 pages        = "179--190",
 doi          = "10.1145/75277.75293",
)
@inproceedings(PnueliRos90,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1990",
 title        = "Distributed Reactive Systems Are Hard to Synthesize",
 booktitle    = "Proceedings of the 31st Annual Symposium on Foundations of Computer Science, FoCS~'90",
 publisher    = "IEEE Computer Society Press",
 pages        = "746--757",
 doi          = "10.1109/FSCS.1990.89597",
)
@article(Reif84,
 author       = "John H. Reif",
 year         = "1984",
 title        = "The Complexity of Two-Player Games of Incomplete Information",
 journal      = "Journal of Computer and Systems Sciences",
 volume       = "29",
 number       = "2",
 pages        = "274--301",
 doi          = "10.1016/0022-0000(84)90034-5",
)