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
Analyzing probabilistic pushdown automata - MaRDI portal

Analyzing probabilistic pushdown automata (Q2248071)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analyzing probabilistic pushdown automata
scientific article

    Statements

    title
    Analyzing probabilistic pushdown automata (English)
    0 references
    author
    Tomáš Brázdil
    0 references
    Javier Esparza
    0 references
    Stefan Kiefer
    0 references
    Antonín Kučera
    0 references
    publication date
    30 June 2014
    0 references
    Mathematics Subject Classification ID
    68Q45
    0 references
    68-02
    0 references
    68Q87
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6310018
    0 references
    zbMATH Keywords
    Markov chains
    0 references
    pushdown automata
    0 references
    model checking
    0 references
    OpenAlex ID
    W2083374362
    0 references
    cites work
    Q4551151
    0 references
    Q5674726
    0 references
    Q5322945
    0 references
    Q5417673
    0 references
    STACS 2005
    0 references
    Q5524074
    0 references
    Q4385542
    0 references
    Q2754086
    0 references
    STACS 2005
    0 references
    Q5727090
    0 references
    Q3862379
    0 references
    Q3549616
    0 references
    Q5807665
    0 references
    Q4472439
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2248071&oldid=35396697"
    Powered by MediaWiki