Synthesizing robust systems (Q2249662)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesizing robust systems |
scientific article |
Statements
Synthesizing robust systems (English)
0 references
3 July 2014
0 references
synthesis of robust reactive systems
0 references
two robustness notions
0 references
safety assumptions
0 references
liveness assumptions
0 references
