@inproceedings(ATW05,
 author       = "C.S. Althoff and W. Thomas and N. Wallmeier",
 year         = "2005",
 title        = "Observations on determinization of {B\"uchi} automata",
 booktitle    = "ICALP",
 doi          = "10.1016/j.tcs.2006.07.026",
)
@article(AHK02,
 author       = "R. Alur and T. A. Henzinger and O. Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "J. ACM",
 doi          = "10.1145/585265.585270",
)
@inproceedings(Buc62,
 author       = "J.R. B{\"u}chi",
 year         = "1962",
 title        = "On a decision method in restricted second order arithmetic",
 booktitle    = "ICLMPS",
)
@article(CY95,
 author       = "C. Courcoubetis and M. Yannakakis",
 year         = "1995",
 title        = "The complexity of probabilistic verification",
 journal      = "J. ACM",
 doi          = "10.1145/210332.210339",
)
@inproceedings(DR07,
 author       = "L. Doyen and J.-F. Raskin",
 year         = "2007",
 title        = "Improved algorithms for the automata-based approach to model-checking",
 booktitle    = "TACAS",
 doi          = "10.1007/978-3-540-71209-1\_34",
)
@inproceedings(FKVW11,
 author       = "S. Fogarty and O. Kupferman and M.Y. Vardi and Th. Wilke",
 year         = "2011",
 title        = "Unifying B\"uchi\xspace complementation constructions",
 booktitle    = "CSL",
 doi          = "10.4230/LIPIcs.CSL.2011.248",
)
@inproceedings(FV10,
 author       = "S. Fogarty and M.Y. Vardi",
 year         = "2010",
 title        = "Efficient {B\"uchi} universality checking",
 booktitle    = "TACAS",
 doi          = "10.1007/978-3-642-12002-2\_17",
)
@article(FKV06,
 author       = "E. Friedgut and O. Kupferman and M.Y. Vardi",
 year         = "2006",
 title        = "B\"uchi complementation made tighter",
 journal      = "IJFCS",
 doi          = "10.1142/S0129054106004145",
)
@inproceedings(KW08,
 author       = "D. {K\"ahler} and Th. Wilke",
 year         = "2008",
 title        = "Complementation, disambiguation, and determinization of {B\"uchi} automata unified",
 booktitle    = "ICALP",
 doi          = "10.1007/978-3-540-70575-8\_59",
)
@inproceedings(KE12,
 author       = "J. Kret\'{\i }nsk{\'y} and J. Esparza",
 year         = "2012",
 title        = "Deterministic automata for the (F, G)-fragment of {LTL}",
 booktitle    = "CAV",
 doi          = "10.1007/978-3-642-31424-7\_7",
)
@article(KV01c,
 author       = "O. Kupferman and M.Y. Vardi",
 year         = "2001",
 title        = "Weak alternating automata are not that weak",
 journal      = "TOCL",
 doi          = "10.1145/377978.377993",
)
@inproceedings(KV05c,
 author       = "O. Kupferman and M.Y. Vardi",
 year         = "2005",
 title        = "Safraless decision procedures",
 booktitle    = "FOCS",
 doi          = "10.1109/SFCS.2005.66",
)
@article(Lan69,
 author       = "L.H. Landweber",
 year         = "1969",
 title        = "Decision problems for $\omega $--automata",
 journal      = "MST",
 doi          = "10.1007/BF01691063",
)
@inproceedings(Lod99,
 author       = "C. L{\"o}ding",
 year         = "1999",
 title        = "Optimal bounds for the transformation of omega-automata",
 booktitle    = "FSTTCS",
 doi          = "10.1007/3-540-46691-6\_8",
)
@article(McN66,
 author       = "R. McNaughton",
 year         = "1966",
 title        = "Testing and generating infinite sequences by a finite automaton",
 journal      = "ICONT",
 doi          = "10.1016/S0019-9958(66)80013-X",
)
@article(MS95,
 author       = "D.E. Muller and P.E. Schupp",
 year         = "1995",
 title        = "Simulating alternating tree automata by nondeterministic automata: new results and new proofs of theorems of {R}abin, {M}c{N}aughton and {S}afra",
 journal      = "TCS",
 doi          = "10.1016/0304-3975(94)00214-4",
)
@inproceedings(Pit06,
 author       = "N. Piterman",
 year         = "2006",
 title        = "From nondeterministic {B}{\"{u}}chi and {S}treett automata to deterministic parity automata",
 booktitle    = "LICS",
 doi          = "10.2168/LMCS-3(3:5)2007",
)
@inproceedings(PR89a,
 author       = "A. Pnueli and R. Rosner",
 year         = "1989",
 title        = "On the synthesis of a reactive module",
 booktitle    = "POPL",
 doi          = "10.1145/75277.75293",
)
@article(RS59,
 author       = "M.O. Rabin and D. Scott",
 year         = "1959",
 title        = "Finite automata and their decision problems",
 journal      = "IBM JRD",
 doi          = "10.1147/rd.32.0114",
)
@inproceedings(Saf88,
 author       = "S. Safra",
 year         = "1988",
 title        = "On the complexity of $\omega $-automata",
 booktitle    = "FOCS",
 doi          = "10.1109/SFCS.1988.21948",
)
@inproceedings(Sch09,
 author       = "S. Schewe",
 year         = "2009",
 title        = "B\"uchi complementation made tight",
 booktitle    = "STACS",
 doi          = "10.4230/LIPIcs.STACS.2009.1854",
)
@inproceedings(Sch09b,
 author       = "S. Schewe",
 year         = "2009",
 title        = "Tighter bounds for the determinisation of {B\"uchi} automata",
 booktitle    = "FOSSACS",
 doi          = "10.1007/978-3-642-00596-1\_13",
)
@inproceedings(THB95,
 author       = "S. Tasiran and R. Hojati and R.K. Brayton",
 year         = "1995",
 title        = "Language containment of non-deterministic omega-automata",
 booktitle    = "CHARME",
 doi          = "10.1007/3-540-60385-9\_16",
)
@inproceedings(TFVT10,
 author       = "M.-H. Tsai and S. Fogarty and M. Y. Vardi and Y.-K. Tsay",
 year         = "2010",
 title        = "State of {B\"uchi} complementation",
 booktitle    = "CIAA",
 doi          = "10.1007/978-3-642-18098-9\_28",
)
@inproceedings(Var85b,
 author       = "M.Y. Vardi",
 year         = "1985",
 title        = "Automatic verification of probabilistic concurrent finite-state programs",
 booktitle    = "FOCS",
 doi          = "10.1109/SFCS.1985.12",
)