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
Costs and rewards in priced timed automata - MaRDI portal

Costs and rewards in priced timed automata (Q2064528)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Costs and rewards in priced timed automata
scientific article

    Statements

    title
    Costs and rewards in priced timed automata (English)
    0 references
    author
    Martin Fränzle
    0 references
    Mahsa Shirmohammadi
    0 references
    Mani Swaminathan
    0 references
    James Worrell
    0 references
    publication date
    6 January 2022
    0 references
    zbMATH Keywords
    priced timed automata
    0 references
    Pareto domination
    0 references
    Diophantine equations
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q45
    0 references
    03B25
    0 references
    11D72
    0 references
    11U05
    0 references
    91B02
    0 references
    zbMATH DE Number
    7452656
    0 references
    OpenAlex ID
    W3100414354
    0 references
    arXiv ID
    1803.01914
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2064528&oldid=36754435"
    Powered by MediaWiki