MCMAS: a model checker for the verification of multi-agent systems

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

[img]
Preview
PDF - Published Version
81kB

Official URL: http://dx.doi.org/10.1007/978-3-642-02658-4_55

This item is available in the Library Catalogue

Abstract

While temporal logic in its various forms has proven essential to reason about reactive systems, agent-based scenarios are typically specified by considering high-level agents attitudes. In particular, specification languages based on epistemic logics, or logics for knowledge, have proven useful in a variety of areas including robotics, security protocols, web-services, etc. For example, security specifications involving anonymity [4] are known to be naturally expressible in epistemic formalisms as they explicitly state the lack of different kinds of knowledge of the principals.

Item Type:Article
Research Areas:School of Science and Technology > Science & Technology
Citations on ISI Web of Science:12
ID Code:4544
Useful Links:
Deposited On:16 Mar 2010 17:04
Last Modified:18 Jul 2014 23:34

Repository staff and depositor only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year