PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771)

From MaRDI portal
Revision as of 11:18, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
PTIME parametric verification of safety properties for reasonable linear hybrid automata
scientific article

    Statements

    title
    PTIME parametric verification of safety properties for reasonable linear hybrid automata (English)
    0 references
    author
    Werner Damm
    0 references
    Carsten Ihlemann
    0 references
    publication date
    16 May 2013
    0 references
    zbMATH DE Number
    6163706
    0 references
    zbMATH Keywords
    linear hybrid automata
    0 references
    decidability and complexity
    0 references
    parametric verification of safety properties
    0 references
    describes a project that uses
    REDLOG
    0 references
    H-PILoT
    0 references
    LinAIG
    0 references
    z3
    0 references
    OpenAlex ID
    W2121038072
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1949771&oldid=35332950"
    Powered by MediaWiki