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