31 citations · 242 across the 55 of their papers we have counts for
Showing 2021 · cs.GTShow all
2 papers · 2 filters
cs.GT2021★ 11 cited
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Karoliina Lehtinen, Paweł Parys, Sven Schewe +1
Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, whil…
cs.GT2021
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
Richard Mayr, Sven Schewe, Patrick Totzke +1
We study stochastic games with energy-parity objectives, which combine quantitative rewards with a qualitative -regular condition: The maximizer aims to avoid running out of ene…