Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP.

Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak

Browse the full FOSSACS paper archive.