Graph Games and Reactive Synthesis (Q3176385)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Graph Games and Reactive Synthesis
scientific article

    Statements

    title
    Graph Games and Reactive Synthesis (English)
    0 references
    author
    Roderick Bloem
    0 references
    Krishnendu Chatterjee
    0 references
    Barbara Jobstmann
    0 references
    publication date
    20 July 2018
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q45
    0 references
    91A43
    0 references
    zbMATH DE Number
    6908893
    0 references
    describes a project that uses
    LTL2BA
    0 references
    CUDD
    0 references
    MCGP
    0 references
    UMDES
    0 references
    OpenAlex ID
    W2803455449
    0 references
    cites work
    Q4473719
    0 references
    Q2754083
    0 references
    Q4673428
    0 references
    Q4418690
    0 references
    Play to Test
    0 references
    Energy parity games
    0 references
    Randomness for Free
    0 references
    Strategy logic
    0 references
    Computer Science Logic
    0 references
    Q5501249
    0 references
    Q5725991
    0 references
    Q3336675
    0 references
    Q4287357
    0 references
    Q4382287
    0 references
    Coordination Logic
    0 references
    Q4551134
    0 references
    Q4737196
    0 references
    Fair simulation
    0 references
    Q4501540
    0 references
    Q4542592
    0 references
    Q4002642
    0 references
    Q2908844
    0 references
    Q3753490
    0 references
    Q3748266
    0 references
    Q4205072
    0 references
    Bounded Synthesis
    0 references
    Stochastic Games
    0 references
    Q2754087
    0 references
    Q4385530
    0 references
    Q2754084
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176385&oldid=36410154"
    Powered by MediaWiki