Coupling and Importance Sampling for Statistical Model Checking (Q2894280)

From MaRDI portal
Revision as of 19:33, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Coupling and Importance Sampling for Statistical Model Checking
scientific article

    Statements

    title
    Coupling and Importance Sampling for Statistical Model Checking (English)
    0 references
    author
    Benoît Barbot
    0 references
    Serge Haddad
    0 references
    Claudine Picaronny
    0 references
    publication date
    29 June 2012
    0 references
    zbMATH Keywords
    statistical model checking
    0 references
    rare events
    0 references
    importance sampling
    0 references
    coupling
    0 references

    Identifiers

    zbMATH DE Number
    6051095
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2894280&oldid=15848531"
    Powered by MediaWiki