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

In: Theoretical computer science
Volume: 560
Issue: 3
Page(s)/Article-Nr.: 235-250

Institutions

• Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
• Department of Mathematics [110000]