Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Lomuscio:2017:10.1007/s10009-015-0378-x,
author = {Lomuscio, AR and Qu, H and Raimondi, F},
doi = {10.1007/s10009-015-0378-x},
journal = {International Journal on Software Tools for Technology Transfer},
title = {MCMAS: an open-source model checker for the verification of multi-agent systems},
url = {http://dx.doi.org/10.1007/s10009-015-0378-x},
year = {2017}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent systems against specifications representing temporal, epistemic and strategic properties. We present the underlying semantics of the specification language supported and the algorithms implemented in MCMAS, including its fairness and counterexample generation features. We provide a detailed description of the implementation. We illustrate its use by discussing a number of examples and evaluate its performance by comparing it against other model checkers for multi-agent systems on a common case study.
AU - Lomuscio,AR
AU - Qu,H
AU - Raimondi,F
DO - 10.1007/s10009-015-0378-x
PY - 2017///
SN - 1433-2779
TI - MCMAS: an open-source model checker for the verification of multi-agent systems
T2 - International Journal on Software Tools for Technology Transfer
UR - http://dx.doi.org/10.1007/s10009-015-0378-x
UR - http://hdl.handle.net/10044/1/22044
ER -