Skip to content

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

Laure Daviaud, Marcin Jurdzinski, Ranko Lazic

VenueA*LICS
Year2018
ProceedingsLICS

Browse the full LICS paper archive.