Graph Games and Reactive Synthesis (Q3176385)

From MaRDI portal
Revision as of 03:57, 16 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    describes a project that uses
    LTL2BA
    0 references
    CUDD
    0 references
    MCGP
    0 references
    UMDES
    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

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q45
    0 references
    91A43
    0 references
    zbMATH DE Number
    6908893
    0 references
    OpenAlex ID
    W2803455449
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176385&oldid=36410154"
    Powered by MediaWiki