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

by T Brazdil, A Kucera, O Strazovsky
Venue:In Proceedings of STACS