On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS.

Antonn Kucera

Browse the full FCT paper archive.