The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

Felix Canavoi, Erich Grädel, Roman Rabinovich
2014 Theoretical Computer Science  
doi:10.1016/j.tcs.2013.12.021 fatcat:wz6dcmxi2jc2ljlintmdmgxe7a