Publication [WuHGZL16] GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs Wu, Z.; Hahn, E. M.; Günay, A.; Zhang, L. and Liu, Y. In ECAI, pages 1726-1727, 2016.Downloads: bib