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

@inproceedings{Belardinelli:2015,
author = {Belardinelli, F and Grossi, D and Lomuscio, A},
pages = {854--860},
title = {Finite abstractions for the verification of epistemic properties in open multi-agent systems},
year = {2015}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We develop a methodology to model and verify open multi-agent systems (OMAS), where agents may join in or leave at run time. Further, we specify properties of interest on OMAS in a variant of firstorder temporal-epistemic logic, whose characterising features include epistemic modalities indexed to individual terms, interpreted on agents appearing at a given state. This formalism notably allows to express group knowledge dynamically. We study the verification problem of these systems and show that, under specific conditions, finite bisimilar abstractions can be obtained.
AU - Belardinelli,F
AU - Grossi,D
AU - Lomuscio,A
EP - 860
PY - 2015///
SN - 1045-0823
SP - 854
TI - Finite abstractions for the verification of epistemic properties in open multi-agent systems
ER -