Computing uniformly optimal strategies in two-player stochastic games · Study