Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

Browse the full CONCUR paper archive.