Skip to content

Solving Parity Games via Priority Promotion.

Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

VenueA*CAV
Year2016
ProceedingsCAV (2)

Browse the full CAV paper archive.