A weakness measure for GR(1) formulae (Q5918136)
From MaRDI portal
scientific article; zbMATH DE number 7317636
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A weakness measure for GR(1) formulae |
scientific article; zbMATH DE number 7317636 |
Statements
A weakness measure for GR(1) formulae (English)
0 references
4 March 2021
0 references
reactive synthesis
0 references
assumptions refinement
0 references
weakness
0 references
generalized reactivity
0 references
entropy
0 references
Hausdorff dimension
0 references
