The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
Amsterdam [u.a.] / Elsevier (2014) [Journal Article]
Theoretical computer science
Volume: 560
Issue: 3
Page(s): 235-250
Authors
Authors
Canavoi, Felix
Grädel, Erich
Rabinovich, Roman
Identifier
- DOI: 10.1016/j.tcs.2013.12.021
- REPORT NUMBER: RWTH-2015-04580