6 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
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…