@incollection(playing_box_diamonds,
 author       = "Rajeev Alur and Salvatore La Torre and P. Madhusudan",
 year         = "2003",
 title        = "Playing Games with Boxes and Diamonds",
 editor       = "Roberto Amadio and Denis Lugiez",
 booktitle    = "CONCUR 2003 - Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "2761",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "128--143",
 doi          = "10.1007/978-3-540-45187-7\_8",
)
@book(ApGr11,
 editor       = "K. Apt and E. Gr{\"a}del",
 year         = "2011",
 title        = "Lectures in Game Theory for Computer Scientists",
 publisher    = "Cambridge University Press",
)
@phdthesis(Chatterjee07_StochasticOmegaRegularGames,
 author       = "Krishnendu Chatterjee",
 year         = "2007",
 title        = "Stochastic Omega-Regular Games",
 school       = "EECS Department, University of California, Berkeley",
 url          = "http://chess.eecs.berkeley.edu/pubs/462.html",
)
@inproceedings(DBLP:conf/fsttcs/DuparcFM11,
 author       = "Jacques Duparc and Alessandro Facchini and Filip Murlak",
 year         = "2011",
 title        = "Definable Operations On Weakly Recognizable Sets of Trees",
 editor       = "Supratik Chakraborty and Amit Kumar",
 booktitle    = "FSTTCS",
 series       = "LIPIcs",
 volume       = "13",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "363--374",
 doi          = "10.4230/LIPIcs.FSTTCS.2011.363",
)
@inproceedings(DBLP:conf/lics/FacchiniMS13,
 author       = "Alessandro Facchini and Filip Murlak and Michal Skrzypczak",
 year         = "2013",
 title        = "Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "499--508",
 doi          = "10.1109/LICS.2013.56",
)
@article(DBLP:journals/ipl/Jurdzinski98,
 author       = "Marcin Jurdzinski",
 year         = "1998",
 title        = "Deciding the Winner in Parity Games is in $\text {UP} \cap \text {co-UP}$",
 journal      = "Inf. Process. Lett.",
 volume       = "68",
 number       = "3",
 pages        = "119--124",
 doi          = "10.1016/S0020-0190(98)00150-1",
)
@booklet(loding:habilitation,
 author       = "Christof L\"oding",
 year         = "2009",
 title        = "Logic and Automata over Infinite Trees",
 howpublished = "Habilitation",
 address      = "RWTH Aachen, Germany",
)
@phdthesis(mio_thesis,
 author       = "Matteo Mio",
 year         = "2012",
 title        = "Game Semantics for Probabilistic $\mu $-Calculi",
 school       = "University of Edinburgh",
)
@article(Muller1987267,
 author       = "David E. Muller and Paul E. Schupp",
 year         = "1987",
 title        = "Alternating automata on infinite trees",
 journal      = "Theoretical Computer Science",
 volume       = "54",
 number       = "2\IeC {\textendash }3",
 pages        = "267 -- 276",
 doi          = "10.1016/0304-3975(87)90133-2",
)
@inproceedings(Pnueli:1989:SRM:75277.75293,
 author       = "A. Pnueli and R. Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 series       = "POPL '89",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "179--190",
 doi          = "10.1145/75277.75293",
)
@incollection(Vardi96anautomata-theoretic,
 author       = "Moshe Y. Vardi",
 year         = "1996",
 title        = "An automata-theoretic approach to linear temporal logic",
 editor       = "Faron Moller and Graham Birtwistle",
 booktitle    = "Logics for Concurrency",
 series       = "Lecture Notes in Computer Science",
 volume       = "1043",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "238--266",
 doi          = "10.1007/3-540-60915-6\_6",
)