Solving parity games via priority promotion
Crossref DOI link: https://doi.org/10.1007/s10703-018-0315-1
Published Online: 2018-01-31
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Benerecetti, Massimo
Dell’Erba, Daniele
Mogavero, Fabio http://orcid.org/0000-0002-5140-5783
Text and Data Mining valid from 2018-01-31
Article History
First Online: 31 January 2018