@Inproceedings{EPTCS54.5, author = {Bro\v{z}ek, V\'aclav}, year = {2011}, title = {Optimal Strategies in Infinite-state Stochastic Reachability Games}, editor = {D'Agostino, Giovanna and La Torre, Salvatore}, booktitle = {{\rm Proceedings Second International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Minori, Italy, 15-17th June 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {54}, publisher = {Open Publishing Association}, pages = {60-73}, doi = {10.4204/EPTCS.54.5}, }