Approximating the termination value of one-counter MDPs and stochastic games

Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera. Approximating the termination value of one-counter MDPs and stochastic games. Inf. Comput., 222:121-138, 2013. [doi]

Abstract

Abstract is missing.