Model checking probabilistic pushdown automata (0)

by Antonín Kučera, Javier Esparza, Richard Mayr
Venue:Logical Methods in Computer Science