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
Rewarding probabilistic hybrid automata - MaRDI portal

Rewarding probabilistic hybrid automata (Q2986936)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rewarding probabilistic hybrid automata
scientific article

    Statements

    title
    Rewarding probabilistic hybrid automata (English)
    0 references
    author
    Ernst Moritz Hahn
    0 references
    Holger Hermanns
    0 references
    publication date
    16 May 2017
    0 references
    zbMATH Keywords
    abstraction
    0 references
    continuous time
    0 references
    expected rewards
    0 references
    model checking
    0 references
    nondeterminism
    0 references
    performability
    0 references
    performance evaluation
    0 references
    probabilistic automaton
    0 references
    probabilistic hybrid automaton
    0 references
    simulation relation
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q45
    0 references
    68Q87
    0 references
    zbMATH DE Number
    6718255
    0 references
    OpenAlex ID
    W2078477686
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2986936&oldid=36321886"
    Powered by MediaWiki