DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2015.15,1660,KrCh,Long-run average behaviour of probabilistic vector addition systems