On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.

Toms Brzdil, Antonn Kucera, Oldrich Strazovsk

Browse the full STACS paper archive.