@inproceedings(DBLP:conf/cav/BenerecettiDM16,
 author       = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero},
 year         = {2016},
 title        = {{Solving Parity Games via Priority Promotion}},
 booktitle    = {{CAV} 2016},
 series       = {LNCS},
 volume       = {9780},
 publisher    = {Springer},
 pages        = {270--290},
 doi          = {10.1007/978-3-319-41540-6\_15},
)
@incollection(DBLP:reference/mc/BradfieldW18,
 author       = {Julian~C. Bradfield and Igor Walukiewicz},
 year         = {2018},
 title        = {The mu-calculus and Model Checking},
 booktitle    = {Handbook of Model Checking},
 publisher    = {Springer},
 pages        = {871--919},
 doi          = {10.1007/978-3-319-10575-8\_26},
)
@inproceedings(DBLP:journals/corr/BruseFL14,
 author       = {Florian Bruse and Michael Falk and Martin Lange},
 year         = {2014},
 title        = {The Fixpoint-Iteration Algorithm for Parity Games},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {116--130},
 doi          = {10.4204/EPTCS.161.12},
)
@inproceedings(DBLP:conf/cav/Dijk18,
 author       = {Tom van Dijk},
 year         = {2018},
 title        = {Attracting Tangles to Solve Parity Games},
 booktitle    = {{CAV} {(2)}},
 series       = {LNCS},
 volume       = {10982},
 publisher    = {Springer},
 pages        = {198--215},
 doi          = {10.1007/978-3-319-96142-2\_14},
)
@inproceedings(DBLP:conf/tacas/Dijk18,
 author       = {Tom van Dijk},
 year         = {2018},
 title        = {Oink: An Implementation and Evaluation of Modern Parity Game Solvers},
 booktitle    = {{TACAS} {(1)}},
 series       = {LNCS},
 volume       = {10805},
 publisher    = {Springer},
 pages        = {291--308},
 doi          = {10.1007/978-3-319-89960-2\_16},
)
@article(DBLP:journals/corr/abs-1807-10210,
 author       = {Tom van Dijk},
 year         = {2018},
 title        = {A Parity Game Tale of Two Counters},
 journal      = {CoRR},
 volume       = {abs/1807.10210},
 note         = {Accepted at GandALF 2019.},
)
@inproceedings(DBLP:conf/focs/EmersonJ91,
 author       = {E.~Allen Emerson and Charanjit~S. Jutla},
 year         = {1991},
 title        = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)},
 booktitle    = {{FOCS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1991.185392},
)
@article(DBLP:journals/tcs/EmersonJS01,
 author       = {E.~Allen Emerson and Charanjit~S. Jutla and A.~Prasad Sistla},
 year         = {2001},
 title        = {On model checking for the mu-calculus and its fragments},
 journal      = {Theor. Comput. Sci.},
 volume       = {258},
 number       = {1-2},
 pages        = {491--522},
 doi          = {10.1016/S0304-3975(00)00034-7},
)
@article(DBLP:journals/sttt/FearnleyJKSSW19,
 author       = {John Fearnley and Sanjay Jain and Bart de~Keijzer and Sven Schewe and Frank Stephan and Dominik Wojtczak},
 year         = {2019},
 title        = {An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space},
 journal      = {{STTT}},
 volume       = {21},
 number       = {3},
 pages        = {325--349},
 doi          = {10.1007/s10009-019-00509-3},
)
@inproceedings(DBLP:conf/atva/FriedmannL09,
 author       = {Oliver Friedmann and Martin Lange},
 year         = {2009},
 title        = {Solving Parity Games in Practice},
 booktitle    = {{ATVA}},
 series       = {{LNCS}},
 volume       = {5799},
 publisher    = {Springer},
 pages        = {182--196},
 doi          = {10.1007/978-3-642-04761-9\_15},
)
@inproceedings(DBLP:conf/spin/HofmannNR16,
 author       = {Martin Hofmann and Christian Neukirchen and Rue{\ss}, Harald},
 year         = {2016},
 title        = {Certification for {$\mu$}-Calculus with Winning Strategies},
 booktitle    = {{SPIN}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9641},
 publisher    = {Springer},
 pages        = {111--128},
 doi          = {10.1007/978-3-319-32582-8\_8},
)
@article(DBLP:journals/corr/abs-1904-07736,
 author       = {Swen Jacobs and Roderick Bloem and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Michael Luttenberger and Philipp~J. Meyer and Thibaud Michaud and Mouhammad Sakr and Salomon Sickert and Leander Tentrup and Adam Walker},
 year         = {2019},
 title        = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks, Participants {\&} Results},
 journal      = {CoRR},
 volume       = {abs/1904.07736},
)
@article(DBLP:journals/ipl/Jurdzinski98,
 author       = {Marcin Jurdzinski},
 year         = {1998},
 title        = {Deciding the Winner in Parity Games is in {UP} $\cap$ co-{UP}},
 journal      = {Inf. Process. Lett.},
 volume       = {68},
 number       = {3},
 pages        = {119--124},
 doi          = {10.1016/S0020-0190(98)00150-1},
)
@inproceedings(DBLP:conf/stacs/Jurdzinski00,
 author       = {Marcin Jurdzinski},
 year         = {2000},
 title        = {Small Progress Measures for Solving Parity Games},
 booktitle    = {{STACS}},
 series       = {LNCS},
 volume       = {1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@inproceedings(DBLP:conf/lics/JurdzinskiL17,
 author       = {Marcin Jurdzinski and Ranko Lazic},
 year         = {2017},
 title        = {Succinct progress measures for solving parity games},
 booktitle    = {{LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {1--9},
 doi          = {10.1109/LICS.2017.8005092},
)
@inproceedings(DBLP:conf/fsen/Keiren15,
 author       = {Jeroen J.~A. Keiren},
 year         = {2015},
 title        = {Benchmarks for Parity Games},
 booktitle    = {{FSEN}},
 series       = {LNCS},
 volume       = {9392},
 publisher    = {Springer},
 pages        = {127--142},
 doi          = {10.1007/978-3-319-24644-4\_9},
)
@article(DBLP:journals/tcs/Kozen83,
 author       = {Dexter Kozen},
 year         = {1983},
 title        = {Results on the Propositional mu-Calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {27},
 pages        = {333--354},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@inproceedings(DBLP:conf/stoc/KupfermanV98,
 author       = {Orna Kupferman and Moshe~Y. Vardi},
 year         = {1998},
 title        = {Weak Alternating Automata and Tree Automata Emptiness},
 booktitle    = {{STOC}},
 publisher    = {{ACM}},
 pages        = {224--233},
 doi          = {10.1145/276698.276748},
)
@inproceedings(DBLP:conf/cav/MeyerSL18,
 author       = {Philipp~J. Meyer and Salomon Sickert and Michael Luttenberger},
 year         = {2018},
 title        = {Strix: Explicit Reactive Synthesis Strikes Back!},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10981},
 publisher    = {Springer},
 pages        = {578--586},
 doi          = {10.1007/978-3-319-96145-3\_31},
)
@inproceedings(DBLP:journals/corr/abs-1809-03097,
 author       = {Lisette Sanchez and Wieger Wesselink and Tim A.~C. Willemse},
 year         = {2018},
 title        = {A Comparison of BDD-Based Parity Game Solvers},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {277},
 pages        = {103--117},
 doi          = {10.4204/EPTCS.277.8},
)
@inproceedings(DBLP:conf/wia/StasioMPV16,
 author       = {Antonio~Di Stasio and Aniello Murano and Giuseppe Perelli and Moshe~Y. Vardi},
 year         = {2016},
 title        = {Solving Parity Games Using an Automata-Based Algorithm},
 booktitle    = {{CIAA}},
 series       = {{LNCS}},
 volume       = {9705},
 publisher    = {Springer},
 pages        = {64--76},
 doi          = {10.1007/978-3-319-40946-7\_6},
)
@inproceedings(DBLP:conf/concur/Stirling95,
 author       = {Colin Stirling},
 year         = {1995},
 title        = {Local Model Checking Games},
 booktitle    = {{CONCUR}},
 series       = {Lecture Notes in Computer Science},
 volume       = {962},
 publisher    = {Springer},
 pages        = {1--11},
 doi          = {10.1007/3-540-60218-6\_1},
)
@mastersthesis(Verver2013,
 author       = {Maks Verver},
 year         = {2013},
 title        = {Practical improvements to parity game solving},
 school       = {University of Twente},
)
@inproceedings(DBLP:conf/stacs/Walukiewicz96,
 author       = {Igor Walukiewicz},
 year         = {1996},
 title        = {Monadic Second Order Logic on Tree-Like Structures},
 booktitle    = {{STACS}},
 series       = {Lecture Notes in Computer Science},
 volume       = {1046},
 publisher    = {Springer},
 pages        = {401--413},
 doi          = {10.1007/3-540-60922-9\_33},
)
@article(DBLP:journals/tcs/Zielonka98,
 author       = {Wieslaw Zielonka},
 year         = {1998},
 title        = {Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees},
 journal      = {Theor. Comput. Sci.},
 volume       = {200},
 number       = {1-2},
 pages        = {135--183},
 doi          = {10.1016/S0304-3975(98)00009-7},
)