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
Runtime monitors for Markov decision processes - MaRDI portal

Runtime monitors for Markov decision processes (Q832291)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Runtime monitors for Markov decision processes
scientific article

    Statements

    title
    Runtime monitors for Markov decision processes (English)
    0 references
    author
    Sebastian Junges
    0 references
    Hazem Torfah
    0 references
    Sanjit A. Seshia
    0 references
    publication date
    25 March 2022
    0 references
    describes a project that uses
    z3
    0 references
    prob-black-reach
    0 references
    Qhull
    0 references
    cites work
    Q5322945
    0 references
    Shield Synthesis:
    0 references
    Q4821526
    0 references
    Q5009434
    0 references
    Q5089265
    0 references
    Q4315289
    0 references
    Q5713453
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q87
    0 references
    90C40
    0 references
    zbMATH DE Number
    7498197
    0 references
    OpenAlex ID
    W3184761245
    0 references
    arXiv ID
    2105.12322
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q832291&oldid=36783125"
    Powered by MediaWiki