On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.

Tobias Winkler, Joost-Pieter Katoen

Browse the full LICS paper archive.