Model checking of persuasion in multi-agent systems

Katarzyna Budzynska, Magdalena Kacprzak

    Research output: Contribution to journalArticlepeer-review

    3 Citations (Scopus)


    The paper presents the method of model checking applied to verification of persuasive inter-agent communication. The model checker Perseus is designed on the basis of a logic of actions and graded beliefs AG n introduced by Budzynska and Kacprzak. The software tool makes it possible to semantically verify satisfaction of AG n formulas which describe different properties of a multi-agent system in a given model, and to perform parametric verification that enables searching for answers to questions about these properties.
    Original languageEnglish
    Pages (from-to)99-122
    Number of pages24
    JournalStudies in Logic, Grammar and Rhetoric
    Issue number36
    Publication statusPublished - 2011


    Dive into the research topics of 'Model checking of persuasion in multi-agent systems'. Together they form a unique fingerprint.

    Cite this