Chapter 6: Real algebraic tools in stochastic games