Model checking and synthesis for branching multi-weighted logics (Q2423760)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model checking and synthesis for branching multi-weighted logics |
scientific article |
Statements
Model checking and synthesis for branching multi-weighted logics (English)
0 references
20 June 2019
0 references
synthesis
0 references
model checking
0 references
quantitative
0 references
temporal logics
0 references
dependency graphs
0 references
