@article{BrazdilBrozekEtessamiKucera:IC2013,
    Author = {Br{\'a}zdil, Tom{\'a}{\v s} and Bro{\v z}ek, V{\'a}clav and Etessami, Kousha and Ku{\v c}era, Anton{\'\i}n},
    File = {Approximating the termination value of one-counter MDPs and stochastic games - Brázdil, Brožek, Etessami, Kučera (0) (0) (0) (0) - a - a - p.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Number = {0},
    Pages = {121--138},
    Title = {Approximating the termination value of one-counter MDPs and stochastic games},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001599},
    Volume = {222},
    Year = {2013},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540112001599},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2012.01.008},
    date-added = {2014-01-29 12:02:28 +0000},
    date-modified = {2014-05-16 15:49:01 +0000},
    file-2 = {Approximating the termination value of one-counter MDPs and stochastic games - Brázdil, Brožek, Etessami, Kučera (1) (0) (0) (0) - a - a - p.pdf},
    doi = {10.1016/j.ic.2012.01.008}
}

@article{BrazdilBrozekEtessamiKucera:IC2013, Author = {Br{\'a}zdil, Tom{\'a}{\v s} and Bro{\v z}ek, V{\'a}clav and Etessami, Kousha and Ku{\v c}era, Anton{\'\i}n}, File = {Approximating the termination value of one-counter MDPs and stochastic games - Brázdil, Brožek, Etessami, Kučera (0) (0) (0) (0) - a - a - p.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Number = {0}, Pages = {121--138}, Title = {Approximating the termination value of one-counter MDPs and stochastic games}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001599}, Volume = {222}, Year = {2013}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540112001599}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ic.2012.01.008}, date-added = {2014-01-29 12:02:28 +0000}, date-modified = {2014-05-16 15:49:01 +0000}, file-2 = {Approximating the termination value of one-counter MDPs and stochastic games - Brázdil, Brožek, Etessami, Kučera (1) (0) (0) (0) - a - a - p.pdf}, doi = {10.1016/j.ic.2012.01.008} }