Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
J. ACM 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
André Arnold & Igor Walukiewicz (2007):
Nondeterministic controllers of nondeterministic processes.
In: Logic and Automata 2.
Amsterdam University Press.
Dietmar Berwanger & Łukasz Kaiser (2010):
Information Tracking in Games on Graphs.
Journal of Logic, Language and Information 19(4),
pp. 395–412,
doi:10.1007/s10849-009-9115-8.
Dietmar Berwanger, Łukasz Kaiser & Bernd Puchala (2011):
Perfect-Information Construction for Coordination in Games.
In: Proceedings of the 31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11),
Leibniz International Proceedings in Informatics 13.
Leibniz-Zentrum für Informatik,
Mumbai, India,
pp. 387–398,
doi:10.4230/LIPIcs.FSTTCS.2011.387.
B. Finkbeiner & S. Schewe (2005):
Uniform Distributed Synthesis.
In: Proc. of LICS '05.
IEEE,
pp. 321–330,
doi:10.1109/LICS.2005.53.
Erich Grädel, Wolfgang Thomas & Thomas Wilke (2002):
Automata, Logics, and Infinite Games.
LNCS 2500.
Springer-Verlag,
doi:10.1007/3-540-36387-4.
David Janin (2007):
On the (High) Undecidability of Distributed Synthesis Problems.
In: Proc. of Theory and Practice of Computer Science (SOFSEM 2007),
Lecture Notes in Computer Science 4362.
Springer,
pp. 320–329,
doi:10.1007/978-3-540-69507-3_26.
Łukasz Kaiser (2006):
Game Quantification on Automatic Structures and Hierarchical Model Checking Games.
In: Proc. of CSL '06,
LNCS 4207.
Springer,
pp. 411–425,
doi:10.1007/11874683_27.
Orna Kupferman & Moshe Y. Vardi (2001):
Synthesizing Distributed Systems.
In: Proc. of LICS '01.
IEEE Computer Society Press,
pp. 389–398,
doi:10.1109/LICS.2001.932514.
Amir Pnueli & Roni Rosner (1989):
On the synthesis of a reactive module.
In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, POPL '89.
ACM Press,
pp. 179–190,
doi:10.1145/75277.75293.
Amir Pnueli & Roni Rosner (1990):
Distributed Reactive Systems Are Hard to Synthesize.
In: Proceedings of the 31st Annual Symposium on Foundations of Computer Science, FoCS '90.
IEEE Computer Society Press,
pp. 746–757,
doi:10.1109/FSCS.1990.89597.
John H. Reif (1984):
The Complexity of Two-Player Games of Incomplete Information.
Journal of Computer and Systems Sciences 29(2),
pp. 274–301,
doi:10.1016/0022-0000(84)90034-5.
eptcs@eptcs.org