Model-checking for resource-bounded ATL with production and consumption of resources (Q2361350)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model-checking for resource-bounded ATL with production and consumption of resources
scientific article

    Statements

    Model-checking for resource-bounded ATL with production and consumption of resources (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 June 2017
    0 references
    model checking
    0 references
    resources
    0 references
    coalitional ability
    0 references
    verification of multi-agent systems
    0 references

    Identifiers

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