9 citations · 28 across the 19 of their papers we have counts for
1 paper · 2 filters
Arnd Hartmanns, Robert Modderman
Computing the probability of reaching a set of goal states G in a discrete-time Markov chain (DTMC) is a core task of probabilistic model checking. We can do so by directly computi…