Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fair Termination for Parameterized Probabilistic Concurrent Systems |
scientific article |
Statements
Fair Termination for Parameterized Probabilistic Concurrent Systems (English)
0 references
5 August 2020
0 references
Markov decision process
0 references
regular language
0 references
atomic proposition
0 references
fairness condition
0 references
fairness constraint
0 references
0 references
