The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Canavoi, Felix; Grädel, Erich; Rabinovich, Roman (Corresponding author)
Amsterdam [u.a.] : Elsevier (2014)
Fachzeitschriftenartikel
In: Theoretical computer science
Band: 560
Heft: 3
Seite(n)/Artikel-Nr.: 235-250
Identifikationsnummern
- DOI: 10.1016/j.tcs.2013.12.021
- RWTH PUBLICATIONS: RWTH-2015-04580