Long-Run Average Behavior of Vector Addition Systems with States.

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

Browse the full CONCUR paper archive.