@article(BJW02,
 author       = "Julien Bernet and David Janin and Igor Walukiewicz",
 year         = "2002",
 title        = "Permissive strategies: from parity games to safety games",
 journal      = "ITA",
 volume       = "36",
 number       = "3",
 pages        = "261--275",
 doi          = "10.1051/ita:2002013",
)
@inproceedings(BCHJ09,
 author       = "Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann",
 year         = "2009",
 title        = "Better Quality in Synthesis through Quantitative Objectives",
 editor       = "Ahmed Bouajjani and Oded Maler",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "140--156",
 doi          = "10.1007/978-3-642-02658-4\_14",
)
@inproceedings(BMOU11,
 author       = "Patricia Bouyer and Nicolas Markey and J{\"o}rg Olschewski and Michael Ummels",
 year         = "2011",
 title        = "Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited",
 editor       = "Bultan and Hsiung",
 pages        = "135--149",
 doi          = "10.1007/978-3-642-24372-1\_11",
)
@proceedings(DBLP:conf/atva/2011,
 editor       = "Tevfik Bultan and Pao-Ann Hsiung",
 year         = "2011",
 title        = "Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "6996",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-24372-1",
)
@inproceedings(CCHRS11,
 author       = "Pavol {}\u {C}ern{\'y} and Krishnendu Chatterjee and Thomas A. Henzinger and Arjun Radhakrishna and Rohit Singh",
 year         = "2011",
 title        = "Quantitative Synthesis for Concurrent Programs",
 editor       = "Ganesh Gopalakrishnan and Shaz Qadeer",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "6806",
 publisher    = "Springer",
 pages        = "243--259",
 doi          = "10.1007/978-3-642-22110-1\_20",
)
@inproceedings(CKLB11,
 author       = "Chih-Hong Cheng and Alois Knoll and Michael Luttenberger and Christian Buckl",
 year         = "2011",
 title        = "\texttt {GAVS+}: An Open Platform for the Research of Algorithmic Game Solving",
 editor       = "Parosh Aziz Abdulla and K. Rustan M. Leino",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "6605",
 publisher    = "Springer",
 pages        = "258--261",
 doi          = "10.1007/978-3-642-19835-9\_22",
)
@inproceedings(DJW97,
 author       = "Stefan Dziembowski and Marcin Jurdzi{\'n}ski and Igor Walukiewicz",
 year         = "1997",
 title        = "How Much Memory is Needed to Win Infinite Games?",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "99--110",
 doi          = "10.1109/LICS.1997.614939",
)
@article(Ehl11d,
 author       = "Ruediger Ehlers",
 year         = "2011",
 title        = "Small witnesses, accepting lassos and winning strategies in omega-automata and games",
 journal      = "CoRR",
 volume       = "abs/1108.0315",
 url          = "http://arxiv.org/abs/1108.0315",
)
@article(FZ12,
 author       = "John Fearnley and Martin Zimmermann",
 year         = "2012",
 title        = "Playing Muller Games in a Hurry",
 journal      = "Int. J. Found. Comput. Sci.",
 volume       = "23",
 number       = "3",
 pages        = "649--668",
 doi          = "10.1142/S0129054112400321",
)
@article(FJR11,
 author       = "Emmanuel Filiot and Naiyong Jin and Jean-Fran\c {c}ois Raskin",
 year         = "2011",
 title        = "Antichains and compositional algorithms for LTL synthesis",
 journal      = "Formal Methods in System Design",
 volume       = "39",
 number       = "3",
 pages        = "261--296",
 doi          = "10.1007/s10703-011-0115-3",
)
@inproceedings(GH82,
 author       = "Yuri Gurevich and Leo Harrington",
 year         = "1982",
 title        = "Trees, Automata, and Games",
 booktitle    = "STOC",
 publisher    = "ACM",
 pages        = "60--65",
)
@inproceedings(H08,
 author       = "Florian Horn",
 year         = "2008",
 title        = "Explicit {M}uller Games are {PTIME}",
 editor       = "Ramesh Hariharan and Madhavan Mukund and V. Vinay",
 booktitle    = "FSTTCS",
 series       = "LIPIcs",
 volume       = "2",
 publisher    = "Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik",
 pages        = "235--243",
 doi          = "10.4230/LIPIcs.FSTTCS.2008.1756",
)
@inproceedings(HTW08,
 author       = "Florian Horn and Wolfgang Thomas and Nico Wallmeier",
 year         = "2008",
 title        = "Optimal Strategy Synthesis in Request-Response Games",
 editor       = "Sung Deok Cha and Jin-Young Choi and Moonzoo Kim and Insup Ldoi and Mahesh Viswanathan",
 booktitle    = "ATVA",
 series       = "LNCS",
 volume       = "5311",
 publisher    = "Springer",
 pages        = "361--373",
 doi          = "10.1007/978-3-540-88387-6\_31",
)
@inproceedings(J00,
 author       = "Marcin Jurdzi{\'n}ski",
 year         = "2000",
 title        = "Small Progress Measures for Solving Parity Games",
 editor       = "Horst Reichel and Sophie Tison",
 booktitle    = "STACS",
 series       = "LNCS",
 volume       = "1770",
 publisher    = "Springer",
 pages        = "290--301",
 doi          = "10.1007/3-540-46541-3\_24",
)
@book(K95,
 author       = "Alexander Kechris",
 year         = "1995",
 title        = "Classical Descriptive Set Theory",
 series       = "Graduate Texts in Mathematics",
 volume       = "156",
 publisher    = "Springer",
)
@inproceedings(KV05,
 author       = "Orna Kupferman and Moshe Y. Vardi",
 year         = "2005",
 title        = "Safraless Decision Procedures",
 booktitle    = "FOCS",
 publisher    = "IEEE Computer Society",
 pages        = "531--542",
 doi          = "10.1109/SFCS.2005.66",
)
@article(M93,
 author       = "Robert McNaughton",
 year         = "1993",
 title        = "Infinite Games Played on Finite Graphs",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "65",
 number       = "2",
 pages        = "149--184",
 doi          = "10.1016/0168-0072(93)90036-D",
)
@inproceedings(M00,
 author       = "Robert McNaughton",
 year         = "2000",
 title        = "Playing Infinite Games in Finite Time",
 editor       = "Arto Salomaa and Derick Wood and Sheng Yu",
 booktitle    = "A Half-Century of Automata Theory",
 publisher    = "World Scientific",
 pages        = "73--91",
)
@inproceedings(daniel,
 author       = "Daniel Neider",
 year         = "2011",
 title        = "Small Strategies for Safety Games",
 editor       = "Bultan and Hsiung",
 pages        = "306--320",
 doi          = "10.1007/978-3-642-24372-1\_22",
)
@inproceedings(SF07,
 author       = "Sven Schewe and Bernd Finkbeiner",
 year         = "2007",
 title        = "Bounded Synthesis",
 editor       = "Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura",
 booktitle    = "ATVA",
 series       = "LNCS",
 volume       = "4762",
 publisher    = "Springer",
 pages        = "474--488",
 doi          = "10.1007/978-3-540-75596-8\_33",
)
@inproceedings(HTW03,
 author       = "Nico Wallmeier and Patrick H{\"u}tten and Wolfgang Thomas",
 year         = "2003",
 title        = "Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications",
 editor       = "Oscar H. Ibarra and Zhe Dang",
 booktitle    = "CIAA",
 series       = "LNCS",
 volume       = "2759",
 publisher    = "Springer",
 pages        = "11--22",
 doi          = "10.1007/3-540-45089-0\_3",
)
@article(Z98,
 author       = "Wies{\l }aw 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",
)
@inproceedings(Z09,
 author       = "Martin Zimmermann",
 year         = "2009",
 title        = "Time-Optimal Winning Strategies for Poset Games",
 editor       = "Sebastian Maneth",
 booktitle    = "CIAA",
 series       = "LNCS",
 volume       = "5642",
 publisher    = "Springer",
 pages        = "217--226",
 doi          = "10.1007/978-3-642-02979-0\_25",
)