Augmenting ATL with strategy contexts (Q897650)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Augmenting ATL with strategy contexts
scientific article

    Statements

    Augmenting ATL with strategy contexts (English)
    0 references
    0 references
    0 references
    7 December 2015
    0 references
    temporal logics
    0 references
    games for synthesis
    0 references
    model checking
    0 references
    satisfiability
    0 references
    0 references
    0 references
    0 references

    Identifiers