BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Onderzoeksoutput: Boek/rapportRapportAcademic

219 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's19
StatusGepubliceerd - 2018

Publicatie series

NaamComputer science reports
Volume1801
ISSN van geprinte versie0926-4515

Citeer dit