Login / Signup

A pseudo-quasi-polynomial algorithm for mean-payoff parity games.

Laure DaviaudMarcin JurdzinskiRanko Lazic
Published in: LICS (2018)
Keyphrases