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]

Possibly Related Publications

The following publications are possibly variants of this publication: