_id,doi,title
1660,10.1109/LICS.2015.15,Long-run average behaviour of probabilistic vector addition systems