Optimal controller synthesis for timed systems (Q6135744)

From MaRDI portal
scientific article; zbMATH DE number 7731909
Language Label Description Also known as
English
Optimal controller synthesis for timed systems
scientific article; zbMATH DE number 7731909

    Statements

    Optimal controller synthesis for timed systems (English)
    0 references
    0 references
    0 references
    0 references
    26 August 2023
    0 references
    weighted timed games
    0 references
    computational game theory
    0 references
    timed automata
    0 references
    quantitative constraints
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers