Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems (Q3523142)

From MaRDI portal
Revision as of 01:05, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
scientific article

    Statements

    title
    Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems (English)
    0 references
    author
    Amit Bhatia
    0 references
    Emilio Frazzoli
    0 references
    publication date
    2 September 2008
    0 references
    describes a project that uses
    HyTech
    0 references
    d/dt
    0 references

    Identifiers

    Mathematics Subject Classification ID
    93B40
    0 references
    93B03
    0 references
    93C05
    0 references
    93C55
    0 references
    zbMATH DE Number
    5318912
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3523142&oldid=24059568"
    Powered by MediaWiki