Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

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

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Lomuscio:2011:10.1007/978-3-642-20674-0_4,
author = {Lomuscio, A and Qu, H and Russo, F},
doi = {10.1007/978-3-642-20674-0_4},
pages = {52--68},
title = {Automatic data-abstraction in model checking multi-agent systems},
url = {http://dx.doi.org/10.1007/978-3-642-20674-0_4},
year = {2011}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We present an automatic data-abstraction technique for the verification of the universal fragment of the temporal-epistemic logic CTLK. We show the correctness of the methodology and present an implementation operating on ISPL models, the input files for MCMAS, a model checker for multi-agent systems. The experimental results point to the attractiveness of the technique in a number of examples in the multi-agent systems domain. © 2011 Springer-Verlag.
AU - Lomuscio,A
AU - Qu,H
AU - Russo,F
DO - 10.1007/978-3-642-20674-0_4
EP - 68
PY - 2011///
SN - 0302-9743
SP - 52
TI - Automatic data-abstraction in model checking multi-agent systems
UR - http://dx.doi.org/10.1007/978-3-642-20674-0_4
ER -