Chatterjee, K., Henzinger, T.A., Otop, J., Kovács, Konnov, 2020. Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.. https://doi.org/10.4230/lipics.concur.2020.23