3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Probabilistic pushdown automata (pPDA) are a standard operational model for programming languages involving discrete random choices and recursive procedures. Temporal properties ar…