Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Page on [mardi] deleted: Publication:2672248 |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 15:38, 2 May 2024
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specification and optimal reactive synthesis of run-time enforcement shields |
No description defined |
Statements
Specification and optimal reactive synthesis of run-time enforcement shields (English)
0 references
8 June 2022
0 references
error-correcting shield
0 references
shield synthesis
0 references
logical shield specification
0 references
quantified discrete duration calculus
0 references
QDDC
0 references
interval temporal logic
0 references
\(H\)-optimal shield synthesis
0 references
optimal controller synthesis
0 references
deviation minimization
0 references
shield performance comparison
0 references
