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
Quantitative vs. weighted automata - MaRDI portal

Quantitative vs. weighted automata (Q2695484)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quantitative vs. weighted automata
scientific article

    Statements

    title
    Quantitative vs. weighted automata (English)
    0 references
    author
    Udi Boker
    0 references
    publication date
    31 March 2023
    0 references
    zbMATH Keywords
    quantitative automata
    0 references
    weighted automata
    0 references
    nondeterminism
    0 references
    alternation
    0 references
    games
    0 references
    logic
    0 references
    cites work
    Discounting in LTL
    0 references
    Q5875380
    0 references
    Averaging in LTL
    0 references
    Q5525343
    0 references
    Alternation
    0 references
    Quantitative Languages
    0 references
    Quantitative languages
    0 references
    Q4938632
    0 references
    Q3086925
    0 references
    Q5092440
    0 references
    Q4449193
    0 references
    Q4079524
    0 references
    Q5144642
    0 references
    Q5641083
    0 references
    Q3748266
    0 references
    Probabilistic automata
    0 references
    Q4991691
    0 references
    Q4155837
    0 references

    Identifiers

    zbMATH DE Number
    7670969
    0 references
    OpenAlex ID
    W3210996054
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2695484&oldid=37503822"
    Powered by MediaWiki