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{Penczek:2003,
author = {Penczek, W and Lomuscio, A},
journal = {Fundamenta Informaticae},
pages = {167--185},
title = {Verifying epistemic properties of multi-agent systems via bounded model checking},
volume = {55},
year = {2003}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - We present a framework for verifying temporal and epistemic properties of multi-agent systems by means of bounded model checking. We use interpreted systems as underlying semantics. We give details of the proposed technique, and show how it can be applied to the "attacking generals problem", a typical example of coordination in multi-agent systems.
AU - Penczek,W
AU - Lomuscio,A
EP - 185
PY - 2003///
SN - 0169-2968
SP - 167
TI - Verifying epistemic properties of multi-agent systems via bounded model checking
T2 - Fundamenta Informaticae
VL - 55
ER -