Don't have Telegram yet? Try it now!
https://hgpu.org/?p=8410
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities