Model Checking Probabilistic Pushdown Automata.

Javier Esparza, Antonn Kucera, Richard Mayr

Browse the full LICS paper archive.