22 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
Miguel E. Andres, Pedro D'Argenio, Peter van Rossum
This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov Chains and Markov Decision Processes. (Finite) paths in counterexample…