Stochastic limit-average games are in EXPTIME · Study