Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances.

Javier Esparza, Antonn Kucera, Richard Mayr

Browse the full LICS paper archive.