Solving Simple Stochastic Games with Few Random Vertices

Simple stochastic games are two-player zero-sum stochastic games with turn-based moves, perfect information, and reachability winning conditions. We present two new algorithms computing the values of simple stochastic games. Both of them rely on the existence of optimal permutation strategies, a cla...

Full description

Bibliographic Details
Main Authors: Hugo Gimbert, Florian Horn
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2009-05-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/1119/pdf