52 citations · 217 across the 36 of their papers we have counts for
1 paper · 2 filters
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…