Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462)

From MaRDI portal
Revision as of 12:10, 13 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
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
scientific article

    Statements

    title
    Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (English)
    0 references
    author
    Werner Damm
    0 references
    Matthias Horbach
    0 references
    publication date
    27 February 2017
    0 references
    zbMATH DE Number
    6688815
    0 references
    describes a project that uses
    z3
    0 references
    H-PILoT
    0 references
    OpenAlex ID
    W2230509950
    0 references
    arXiv ID
    1601.01648
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2964462&oldid=36308080"
    Powered by MediaWiki