GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs

Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu