47 citations · 115 across the 33 of their papers we have counts for
1 paper · 2 filters
Tomas Brazdil, Stefan Kiefer, Antonin Kucera
We show that a subclass of infinite-state probabilistic programs that can be modeled by probabilistic one-counter automata (pOC) admits an efficient quantitative analysis. In parti…