TY  - RPRT
TI  - Long-Run Average Behaviour of Probabilistic Vector Addition Systems
AU  - Tomas Brazdil
AU  - Stefan Kiefer
AU  - Antonin Kucera
AU  - Petr Novotny
PY  - 2015
UR  - https://arxiv.org/abs/1505.02655
ID  - 1505.02655
ER  -