@inproceedings{WuHGZL16,
  author    = {Zhimin Wu and
               Ernst Moritz Hahn and
               Akin G{\"{u}}nay and
               Lijun Zhang and
               Yang Liu},
  title     = {GPU-Accelerated Value Iteration for the Computation of Reachability
               Probabilities in MDPs},
  booktitle = {ECAI},
  pages     = {1726--1727},
  year      = {2016},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {285},
}