![](/img/cover-not-exists.png)
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Canavoi, Felix, Grädel, Erich, Rabinovich, RomanVolume:
560
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2013.12.021
Date:
December, 2014
File:
PDF, 1.26 MB
english, 2014