Parameterized synthesis with safety properties (Q2038085)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parameterized synthesis with safety properties |
scientific article |
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
