@InProceedings{brazdil_et_al:DSP:2009:1837,
  author ={Tom\'a\v{s} Br\'azdil and V\'aclav Bro\v{z}ek and Anton\'\in Ku\v{c}era and Jan Obdr\v{z}\'alek},
  title ={Qualitative Reachability in Stochastic BPA Games},
  pages ={207--218},
  booktitle ={26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009)},
  year ={2009},
  editor ={Susanne Albers and Jean-Yves Marion},
  publisher ={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2009/1837},
  annote ={Keywords: Stochastic games, Reachability, Pushdown automata},
}