The complexity of quantitative concurrent parity games.

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger

Browse the full SODA paper archive.