TY - RPRT TI - Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States AU - Krishnendu Chatterjee AU - Thomas A. Henzinger AU - Jan Otop PY - 2020 UR - https://arxiv.org/abs/2007.08917 ID - 2007.08917 ER -