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

Zhimin Wu, Ernst Moritz Hahn, Akin Gnay, Lijun Zhang, Yang Liu

Browse the full ECAI paper archive.