Finding Optimal Strategies of Almost Acyclic Simple Stochatic Games

David Auger, Pierre COUCHENEY, Yann Strozecki

The optimal value computation for turned-based stochastic games with reachability objectives, also known as simple stochastic games, is one of the few problems in $NP\cap coNP$ wh…