Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding Fast Termination for Probabilistic VASS with Nondeterminism |
scientific article |
Statements
Deciding Fast Termination for Probabilistic VASS with Nondeterminism (English)
0 references
20 July 2020
0 references
angelic and demonic nondeterminism
0 references
termination time
0 references
probabilistic VASS
0 references
