The complexity of quantitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithm, SIAM, 2006, pp. 678–687.