Model Checking Logics of Strategic Ability: Complexity* (Q3056329)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model Checking Logics of Strategic Ability: Complexity*
scientific article

    Statements

    Model Checking Logics of Strategic Ability: Complexity* (English)
    0 references
    11 November 2010
    0 references
    model checking
    0 references
    LTL
    0 references
    CTL
    0 references
    ATL
    0 references
    concurrent game
    0 references
    temporel logic
    0 references
    strategic logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references