Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications (Q6202085)

From MaRDI portal
Revision as of 07:16, 10 July 2024 by Import240710060729 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 7807950
Language Label Description Also known as
English
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications
scientific article; zbMATH DE number 7807950

    Statements

    Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications (English)
    0 references
    0 references
    0 references
    21 February 2024
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references