Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Dynamic Bayesian networks for formal verification of structured stochastic processes - MaRDI portal

Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dynamic Bayesian networks for formal verification of structured stochastic processes
scientific article

    Statements

    title
    Dynamic Bayesian networks for formal verification of structured stochastic processes (English)
    0 references
    author
    Alessandro Abate
    0 references
    Rupak Majumdar
    0 references
    publication date
    20 April 2017
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    60J05
    0 references
    68Q87
    0 references
    zbMATH DE Number
    6706475
    0 references
    Wikidata QID
    Q59529482
    0 references
    describes a project that uses
    MRMC
    0 references
    FAUST2
    0 references
    PRISM
    0 references
    OpenAlex ID
    W2558765880
    0 references
    arXiv ID
    1507.00509
    0 references
    cites work
    Q5322945
    0 references
    Q3655273
    0 references
    Q5585825
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q523135&oldid=36316888"
    Powered by MediaWiki