Down the Borel Hierarchy: Solving Muller Games via Safety Games

by Daniel Neider, Roman Rabinovich, Martin Zimmermann
Reference:
Down the Borel Hierarchy: Solving Muller Games via Safety Games (Daniel Neider, Roman Rabinovich, Martin Zimmermann), In Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., 2012.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/abs-1210-2457,
  author    = {Daniel Neider and
               Roman Rabinovich and
               Martin Zimmermann},
  title     = {Down the Borel Hierarchy: Solving Muller Games via Safety Games},
  booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
               2012.},
  year      = {2012},
  pages     = {169--182},
  crossref  = {DBLP:journals/corr/abs-1210-2028},
  url       = {http://dx.doi.org/10.4204/EPTCS.96.13},
  doi       = {10.4204/EPTCS.96.13},
  timestamp = {Mon, 15 Sep 2014 13:12:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1210-2457},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Bookmark the permalink.