Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Importer (talk | contribs)
Changed an Item
Property / arXiv ID
 
Property / arXiv ID: 1909.08541 / rank
 
Normal rank

Revision as of 08:50, 19 April 2024

scientific article
Language Label Description Also known as
English
Specification and optimal reactive synthesis of run-time enforcement shields
scientific article

    Statements

    Specification and optimal reactive synthesis of run-time enforcement shields (English)
    0 references
    0 references
    0 references
    8 June 2022
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references