Tsutomu Inamoto, Yoshinobu Higami, Shin-ya Kobayashi. Intermittently Proving Dynamic Programming to Solve Infinite MDPs on GPUs. In Juan E. Guerrero, editor, The First International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, Dogo SPA Resort, Matsuyama, Japan, December 4-6, 2013. pages 252-256, IEEE Computer Society, 2013. [doi]
Abstract is missing.