47 citations · 144 across the 34 of their papers we have counts for
1 paper · 2 filters
Javier Esparza, Antonin Kucera, Richard Mayr
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be f…