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

Toms Brzdil, Vclav Brozek, Kousha Etessami, Antonn Kucera

Browse the full ICALP paper archive.