Text this: Finite horizon semi-Markov games with the expected-positive-deviation criterion.