Parameterized Weighted Containment (Q2946752)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parameterized Weighted Containment |
scientific article |
Statements
Parameterized Weighted Containment (English)
0 references
17 September 2015
0 references
quantitative verification
0 references
ellipsoid method
0 references
partially specified systems
0 references
weighted automata
0 references
