Long-Run Average Behaviour of Probabilistic Vector Addition Systems.

Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn

Browse the full LICS paper archive.