Interpolation-based GR(1) assumptions refinement (Q3303899)
From MaRDI portal
!
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 7228164
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Interpolation-based GR(1) assumptions refinement |
scientific article; zbMATH DE number 7228164 |
Statements
Interpolation-Based GR(1) Assumptions Refinement (English)
0 references
5 August 2020
0 references
reactive synthesis
0 references
assumption refinement
0 references
interpolation
0 references
0 references
0.7880922555923462
0 references
0.7704963684082031
0 references
0.7316991090774536
0 references
0.7109359502792358
0 references
0.7076370716094971
0 references
