Approximating the termination value of one-counter MDPs and stochastic games
scientific article; zbMATH DE number 6171324