Imperial College London
Portrait Picture

ProfessorAlessioLomuscio

Faculty of Engineering, Department of Computing

Professor of Safe Artificial Intelligence
 
 
 
//

Contact

 

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

 
 
//

Location

 

Imperial-XTranslation & Innovation Hub BuildingWhite City 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}
}
Download

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  -
Download