Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145)

From MaRDI portal
Revision as of 18:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 6122419
Language Label Description Also known as
English
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
scientific article; zbMATH DE number 6122419

    Statements

    Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 January 2013
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references