TY - RPRT TI - Stochastic Limit-Average Games are in EXPTIME AU - Krishnendu Chatterjee AU - Rupak Majumdar AU - Thomas A. Henzinger PY - 2008 UR - https://arxiv.org/abs/0805.2622 ID - 0805.2622 ER -