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
Energy and mean-payoff timed games - MaRDI portal

Energy and mean-payoff timed games (Q2986981)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Energy and mean-payoff timed games
scientific article

    Statements

    title
    Energy and mean-payoff timed games (English)
    0 references
    author
    Romain Brenguier
    0 references
    Franck Cassez
    0 references
    Jean-François Raskin
    0 references
    publication date
    16 May 2017
    0 references
    zbMATH Keywords
    mean-payoff games
    0 references
    synthesis
    0 references
    timed games
    0 references
    describes a project that uses
    CPLEX
    0 references
    HyTech
    0 references
    MPT
    0 references
    YALMIP
    0 references

    Identifiers

    Mathematics Subject Classification ID
    91A05
    0 references
    68Q45
    0 references
    68W05
    0 references
    68W30
    0 references
    zbMATH DE Number
    6718290
    0 references
    OpenAlex ID
    W1978019075
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2986981&oldid=36321919"
    Powered by MediaWiki