1. Aminof, B., Kupferman, O., Murano, A.: Improved model checking of hierarchical systems. Inf. Comput. 210, 68–86 (2012)
2. Antonik, A., Charlton, N., Huth, M.: Polynomial-time under-approximation of winning regions in parity games. ENTCS 225, 115–139 (2009)
3. Lecture Notes in Computer Science;D Berwanger,2007
4. Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Generalized mean-payoff and energy games. In: FSTTCS 2010. LIPIcs, vol. 8, pp. 505–516 (2010)
5. Chatterjee, K., Henzinger, M.: An $$O(n^2)$$ time algorithm for alternating Büchi games. In: SODA 2012, pp. 1386–1399 (2012)