52 citations · 206 across the 25 of their papers we have counts for
1 paper · 1 filter
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…