6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.DC2012★ 6 cited
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities
Elise Cormie-Bowins
We consider the problem of computing reachability probabilities: given a Markov chain, an initial state of the Markov chain, and a set of goal states of the Markov chain, what is t…
cs.LO2012★ 2 cited
Measuring Progress of Probabilistic LTL Model Checking
Elise Cormie-Bowins, Franck van Breugel
Recently, Zhang and Van Breugel introduced the notion of a progress measure for a probabilistic model checker. Given a linear-time property P and a description of the part of the s…