A weakness measure for GR(1) formulae (Q5918136)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7317636
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8777294158935547
0 references
0.7057987451553345
0 references
0.7051321864128113
0 references
0.6668176054954529
0 references
0.6584627032279968
0 references
