no code implementations • 18 Jan 2021 • Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
We study stochastic games with energy-parity objectives, which combine quantitative rewards with a qualitative $\omega$-regular condition: The maximizer aims to avoid running out of energy while simultaneously satisfying a parity condition.
Computer Science and Game Theory Logic in Computer Science