Measuring Progress of Probabilistic LTL Model Checking - Elise Cormie-Bowins; Franck van Breugel (QAPL, 2012)

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities - Elise Cormie-Bowins (GRAPHITE, 2012)