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 (with publisher's formatting)
Download (81kB)
This item is available in: 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: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Foundations of Computing group
A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
ISI Impact: 12
Item ID: 4544
Useful Links:
Depositing User: Franco Raimondi
Date Deposited: 16 Mar 2010 17:04
Last Modified: 01 May 2015 17:35
URI: http://eprints.mdx.ac.uk/id/eprint/4544

Actions (login required)

Edit Item Edit Item