Parametric Verification of Weighted Systems (Q5240155)
From MaRDI portal
scientific article; zbMATH DE number 7121867
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parametric Verification of Weighted Systems |
scientific article; zbMATH DE number 7121867 |
Statements
24 October 2019
0 references
parametric weighted transition systems
0 references
parametric weighted CTL
0 references
parametric model checking
0 references
well-quasi ordering
0 references
0 references
Parametric Verification of Weighted Systems (English)
0 references
