Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek. Qualitative Reachability in Stochastic BPA Games. In Susanne Albers, Jean-Yves Marion, editors, 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. Volume 09001 of Dagstuhl Seminar Proceedings, pages 207-218, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
Abstract is missing.