On the decidability of temporal properties of probabilistic pushdown automata (2005)

by T Brázdil, A Kučera, O Straˇzovsk´y
Venue:In Proceedings of STACS’2005, vol. 3404 of LNCS