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 22nd Symposium on Theoretical Aspects of Computer Science (STACS