Linear programming and undiscounted stochastic games in which one player controls transitions

This paper considers non-cooperative two-person zero-sum undiscounted stochastic games with finite state and action spaces. It is assumed that one player governs the transition rules. We give a linear programming algorithm and show, that an optimal solution to this program corresponds to the value of the game and to optimal stationary strategies for both players. Moreover, this linear programming formulation results in an existence proof of the value and of optimal stationary strategies for both players.ZusammenfassungIn dieser Arbeit behandeln wir nichtkooperative nichtdiskontierte stochastische Zweipersonen-Nullsummenspiele mit endlichen Zustands- und Entscheidungsräumen. Dabei setzen wir voraus, daß ein Spieler das Übergangsverhalten steuert. Wir entwickeln ein lineares Programm und zeigen, daß eine Optimallösung dieses Programms den Spielwert und optimale stationäre Strategien für beide Spieler ergibt. Darüberhinaus liefert dieses lineare Programm einen Existenzbeweis für den Spielwert und für optimale stationäre Strategien für beide Spieler.