79 citations · 87 across the 10 of their papers we have counts for
1 paper · 2 filters
Sebastian Arming, Ezio Bartocci, Ana Sokolova
We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (imple…