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}
}