22 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.LO2008★ 1 cited
Significant Diagnostic Counterexamples in Probabilistic Model Checking
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…
cs.CR2007★ 22 cited
Probabilistic Anonymity and Admissible Schedulers
Flavio D. Garcia, Peter van Rossum, Ana Sokolova
When studying safety properties of (formal) protocol models, it is customary to view the scheduler as an adversary: an entity trying to falsify the safety property. We show that in…