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,
author = {Belardinelli, F and Kouvaros, P and Lomuscio, A},
pages = {98--104},
title = {Parameterised verification of data-aware multi-agent systems},
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We introduce parameterised data-aware multiagent systems, a formalism to reason about the temporal properties of arbitrarily large collections of homogeneous agents, each operating on an infinite data domain. We show that their parameterised verification problem is semi-decidable for classes of interest. This is demonstrated by separately addressing the unboundedness of the number of agents and the data domain. In doing so we reduce the parameterised model checking problem for these systems to that of parameterised verification for interleaved interpreted systems. We illustrate the expressivity of the formal model by modelling English auctions with an unbounded number of bidders on unbounded data.
AU - Belardinelli,F
AU - Kouvaros,P
AU - Lomuscio,A
EP - 104
SN - 1045-0823
SP - 98
TI - Parameterised verification of data-aware multi-agent systems
ER -