Exact algorithms for solving stochastic games · Study