48 citations · 205 across the 8 of their papers we have counts for
1 paper · 1 filter
Michael Ummels, Christel Baier
Probabilistic model checking mainly concentrates on techniques for reasoning about the probabilities of certain path properties or expected values of certain random variables. For…