Parameterized synthesis with safety properties (Q2038085)
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 7370100
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Parameterized synthesis with safety properties |
scientific article; zbMATH DE number 7370100 |
Statements
Parameterized synthesis with safety properties (English)
0 references
8 July 2021
0 references
parameterized systems
0 references
reactive synthesis
0 references
machine learning
0 references
Angluin's algorithm
0 references
regular model checking
0 references
0.8197812438011169
0 references
0.8092604875564575
0 references
0.7999390959739685
0 references
0.780921995639801
0 references
0.7652983665466309
0 references
