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) [Journal Article]

Theoretical computer science
Volume: 560
Issue: 3
Page(s): 235-250

Identifier