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
Reasoning about online algorithms with weighted automata - MaRDI portal

Reasoning about online algorithms with weighted automata (Q2930304)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reasoning about online algorithms with weighted automata
scientific article

    Statements

    title
    Reasoning about online algorithms with weighted automata (English)
    0 references
    author
    Benjamin Aminof
    0 references
    Orna Kupferman
    0 references
    Robby Lampert
    0 references
    publication date
    18 November 2014
    0 references
    zbMATH Keywords
    formal verification
    0 references
    online algorithms
    0 references
    weighted automata
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68W40
    0 references
    68Q45
    0 references
    68W27
    0 references
    zbMATH DE Number
    6370639
    0 references
    OpenAlex ID
    W2070937106
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2930304&oldid=31689279"
    Powered by MediaWiki