Expressiveness and Closure Properties for Quantitative Languages.

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger

Browse the full LICS paper archive.