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
Synthesising Succinct Strategies in Safety and Reachability Games - MaRDI portal

Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesising Succinct Strategies in Safety and Reachability Games
scientific article

    Statements

    title
    Synthesising Succinct Strategies in Safety and Reachability Games (English)
    0 references
    author
    Gilles Geeraerts
    0 references
    Joël Goossens
    0 references
    Amélie Stainer
    0 references
    publication date
    28 October 2015
    0 references

    Identifiers

    zbMATH DE Number
    6499385
    0 references
    OpenAlex ID
    W2592855906
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3447698&oldid=31931609"
    Powered by MediaWiki