On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS (Q2947866)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS |
scientific article |
Statements
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS (English)
0 references
29 September 2015
0 references
long-run average properties
0 references
probabilistic vector additions systems with states (pVASS)
0 references
0 references