Options
New deterministic algorithms for solving parity games
Publikationstyp
Journal Article
Date Issued
2018-07-17
Sprache
English
Author(s)
TORE-URI
Journal
Volume
30
Start Page
73
End Page
95
Citation
Discrete Optimization (2018)
Publisher DOI
Publisher
Elsevier
DDC Class
510: Mathematik