Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction (Q3612979)

From MaRDI portal
Revision as of 19:40, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
scientific article

    Statements

    title
    Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction (English)
    0 references
    author
    Sumit Kumar Jha
    0 references
    James Weimer
    0 references
    Bruce H. Krogh
    0 references
    Edmund M. Clarke
    0 references
    publication date
    11 March 2009
    0 references

    Identifiers

    Mathematics Subject Classification ID
    93C30
    0 references
    68Q45
    0 references
    93B03
    0 references
    zbMATH DE Number
    5527771
    0 references
    OpenAlex ID
    W1844911504
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3612979&oldid=31587865"
    Powered by MediaWiki