MCMAS: a model checker for the verification of multi-agent systems
Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco 
ORCID: https://orcid.org/0000-0002-9508-7713
(2009)
MCMAS: a model checker for the verification of multi-agent systems.
Lecture Notes in Computer Science, 5643
.
pp. 682-688.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-642-02658-4_55)
|
PDF
- Published version (with publisher's formatting)
Download (81kB) | Preview |
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 group |
| ISI Impact: | 12 |
| Item ID: | 4544 |
| Useful Links: | |
| Depositing User: | Franco Raimondi |
| Date Deposited: | 16 Mar 2010 17:04 |
| Last Modified: | 30 Nov 2022 01:33 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/4544 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)