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{Kacprzak:2004,
author = {Kacprzak, M and Lomuscio, A and Penczek, W},
journal = {Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004},
pages = {638--645},
title = {Verification of multiagent systems via unbounded model checking},
volume = {2},
year = {2004}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we base our discussion on interpreted systems semantics, a popular semantics used in multi-agent systems literature. We give details of the technique and show how it can be applied to the well-known train, gate and controller problem.
AU - Kacprzak,M
AU - Lomuscio,A
AU - Penczek,W
EP - 645
PY - 2004///
SP - 638
TI - Verification of multiagent systems via unbounded model checking
T2 - Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
VL - 2
ER -