@Inproceedings{EPTCS326.9, author = {K\v{r}et\'insk\'y, Jan and Ramneantu, Emanuel and Slivinskiy, Alexander and Weininger, Maximilian}, year = {2020}, title = {Comparison of Algorithms for Simple Stochastic Games}, editor = {Raskin, Jean-Francois and Bresolin, Davide}, booktitle = {{\rm Proceedings 11th International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Brussels, Belgium, September 21-22, 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {326}, publisher = {Open Publishing Association}, pages = {131-148}, doi = {10.4204/EPTCS.326.9}, }