Approximating the termination value of one-counter MDPs and stochastic games
type: Item
instance of: scholarly article
title: Approximating the termination value of one-counter MDPs and stochastic games
zbMATH Open document ID: 1267.68160
author: Tomáš Brázdil
author: Václav Brožek
author: Kousha Etessami
author: Antonin Kučera
published in: Information and Computation
publication date: 2013-06-06T00:00:00Z
Mathematics Subject Classification ID: 68Q87
Mathematics Subject Classification ID: 91A15
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 91A43
zbMATH DE Number: 6171324
zbMATH Keywords: one-counter MDPs
zbMATH Keywords: one-counter simple stochastic games
zbMATH Keywords: transition graph
zbMATH Keywords: one-counter automata
zbMATH Keywords: termination
MaRDI profile type: Publication
full work available at URL: j.ic.2012.01.008
OpenAlex ID: W2100301927
DOI: 10.1016/J.IC.2012.01.008
description: scientific article; zbMATH DE number 6171324