Stochastic Game Analysis Protocol Design | Stochastic Game Analysis | Mathematics | NEROS