Tags:Approximation, Energy Games, Parity Games, Simple Stochastic Games and Strategy complexity
Abstract:
We consider simple stochastic games G with energy-parity objectives, a combination of quantitative rewards with a qualitative parity condition. The Maximizer tries to avoid running out of energy while simultaneously satisfying a parity condition. We present an algorithm to approximate the value of a given configuration in 2-NEXPTIME. Moreover, epsilon-optimal strategies for either player require at most O(2-EXP(|G|)*log(1/epsilon)) memory modes.
Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games