Verifying existence of resource-bounded coalition uniform strategies

Natasha Alechina, Mehdi Dastani, Brian Logan

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


    We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resources, by adding epistemic pre- and postconditions to actions. This allows us to model scenarios where agents perform both actions which change the world, and actions which change their knowledge about the world, such as observation and communication. To avoid logical omniscience and obtain a compact model of the system, our model of agents' knowledge is syntactic. We define a class of coalition-uniform strategies with respect to any (decidable) notion of coalition knowledge. We show that the model-checking problem for the resulting logic is decidable for any notion of coalitionuniform strategies in these classes.

    Original languageEnglish
    Title of host publicationProceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
    Subtitle of host publicationNew York, New York, USA 9–15 July 2016
    EditorsSubbarao Kambhampati
    PublisherAAAI Press
    Number of pages7
    ISBN (Print)978-1-57735-770-4
    Publication statusPublished - 2016


    Dive into the research topics of 'Verifying existence of resource-bounded coalition uniform strategies'. Together they form a unique fingerprint.

    Cite this