MCMAS: a model checker for the verification of multi-agent systems
Article
Lomuscio, A., Qu, H. and Raimondi, F. 2009. MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science. 5643, pp. 682-688. https://doi.org/10.1007/978-3-642-02658-4_55
Type | Article |
---|---|
Title | MCMAS: a model checker for the verification of multi-agent systems |
Authors | Lomuscio, A., Qu, H. and Raimondi, F. |
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. |
Research Group | Foundations of Computing group |
SensoLab group | |
Artificial Intelligence group | |
Research Group on Development of Intelligent Environments | |
Publisher | Springer |
Journal | Lecture Notes in Computer Science |
ISSN | 0302-9743 |
Publication dates | |
2009 | |
Publication process dates | |
Deposited | 16 Mar 2010 |
Output status | Published |
Publisher's version | |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-642-02658-4_55 |
Language | English |
Permalink -
https://repository.mdx.ac.uk/item/82609
Download files
45
total views19
total downloads0
views this month0
downloads this month