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
Bayesian inference by symbolic model checking - MaRDI portal

Bayesian inference by symbolic model checking (Q2056985)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bayesian inference by symbolic model checking
scientific article

    Statements

    title
    Bayesian inference by symbolic model checking (English)
    0 references
    author
    Bahare Salmani
    0 references
    Joost-Pieter Katoen
    0 references
    publication date
    8 December 2021
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    60J20
    0 references
    62H22
    0 references
    68T37
    0 references
    zbMATH DE Number
    7440823
    0 references
    OpenAlex ID
    W3109856706
    0 references
    arXiv ID
    2007.15071
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2056985&oldid=33453121"
    Powered by MediaWiki