Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418)

From MaRDI portal
Revision as of 00:59, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
scientific article

    Statements

    Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    20 July 2012
    0 references
    verification
    0 references
    linear hybrid automata
    0 references
    symbolic representations
    0 references
    non-convex polyhedra
    0 references
    redundancy elimination
    0 references
    satisfiability modulo theories (SMT)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers