6 citations · 21 across the 16 of their papers we have counts for
1 paper · 1 filter
Tim Quatmann, Joost-Pieter Katoen
Computing reachability probabilities is at the heart of probabilistic model checking. All model checkers compute these probabilities in an iterative fashion using value iteration.…