Efficient Algorithms for Approximating the Limit Value and Parity Value in Concurrent Stochastic Games

The authors present improved complexity results and algorithms for approximating the limit value of stateful-discounted objectives and the parity value in concurrent stochastic games.