Solving Simple Stochastic Tail Games

  title={Solving Simple Stochastic Tail Games},
  author={Hugo Gimbert and Florian Horn},
Infinite stochastic games are a natural model for open reactive processes: one player represents the controller and the other represents a hostile environment. The evolution of the system depends on the decisions of the players, supplemented by chance. There are two main algorithmic problems on such games: computing the values of the vertices (quantitative analysis) and deciding whether a player can win with probability one, or arbitrarily close to one (qualitative analysis). In this paper, we… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
16 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 16 extracted citations

Similar Papers

Loading similar papers…