MDPs with energy-parity objectives.

Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak

Browse the full LICS paper archive.