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
Measuring and Synthesizing Systems in Probabilistic Environments - MaRDI portal

Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954)

From MaRDI portal
scientific article; zbMATH DE number 6472768
Language Label Description Also known as
English
Measuring and Synthesizing Systems in Probabilistic Environments
scientific article; zbMATH DE number 6472768

    Statements

    title
    Measuring and Synthesizing Systems in Probabilistic Environments (English)
    0 references
    author
    Krishnendu Chatterjee
    0 references
    Barbara Jobstmann
    0 references
    Rohit Singh
    0 references
    Thomas A. Henzinger
    0 references
    publication date
    14 August 2015
    0 references
    zbMATH Keywords
    synthesis
    0 references
    quantitative verification
    0 references
    describes a project that uses
    MCGP
    0 references
    CESAR
    0 references
    GLPK
    0 references
    QUASY
    0 references
    cites work
    Q4673428
    0 references
    Q4836494
    0 references
    Quantitative languages
    0 references
    Q5365120
    0 references
    Computer Science Logic
    0 references
    Q5501249
    0 references
    Q5725991
    0 references
    Minimax algebra
    0 references
    Q4449238
    0 references
    Q4270063
    0 references
    Q3536079
    0 references
    Q4382287
    0 references
    Q2769435
    0 references
    Lattice Automata
    0 references
    Q4205072
    0 references
    Q4315289
    0 references
    Q3940830
    0 references

    Identifiers

    DOI
    10.1145/2699430
    0 references
    zbMATH DE Number
    6472768
    0 references
    OpenAlex ID
    W2130350300
    0 references
    arXiv ID
    1004.0739
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5501954&oldid=36196104"
    Powered by MediaWiki