59 citations · 111 across the 11 of their papers we have counts for
1 paper · 1 filter
Nils Jansen, Florian Corzilius, Matthias Volk +4
We present a novel method for computing reachability probabilities of parametric discrete-time Markov chains whose transition probabilities are fractions of polynomials over a set…