BRÁZDIL, Tomáš,
Václav BROŽEK,
Antonín KUČERA and
Jan OBDRŽÁLEK. Qualitative Reachability in Stochastic BPA Games. In
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany: IBFI Schloss Dagstuhl, 2009, p. 207-218. ISBN 978-3-939897-09-5.