Approximating the Termination Value of One-Counter MDPs and Stochastic Games

Tomáš Brázdil, Václav Brožek, Kousha Etessami +1

One-counter MDPs (OC-MDPs) and one-counter simple stochastic games (OC-SSGs) are 1-player, and 2-player turn-based zero-sum, stochastic games played on the transition graph of clas…