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
Qualitative concurrent parity games - MaRDI portal

Qualitative concurrent parity games (Q2946647)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Qualitative concurrent parity games
scientific article

    Statements

    title
    Qualitative concurrent parity games (English)
    0 references
    author
    Krishnendu Chatterjee
    0 references
    Luca de Alfaro
    0 references
    Thomas A. Henzinger
    0 references
    publication date
    17 September 2015
    0 references
    zbMATH Keywords
    \(\omega\)-regular objectives
    0 references
    concurrent games
    0 references
    games on graphs
    0 references
    parity objectives
    0 references
    temporal logic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    03B44
    0 references
    68Q25
    0 references
    68Q60
    0 references
    91A05
    0 references
    91A43
    0 references
    91A80
    0 references
    zbMATH DE Number
    6483153
    0 references
    OpenAlex ID
    W2029583849
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2946647&oldid=31693422"
    Powered by MediaWiki