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{Kouvaros:2013,
author = {Kouvaros, P and Lomuscio, A},
pages = {2013--2019},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
title = {A cutoff technique for the verification of parameterised interpreted systems with parameterised environments},
year = {2013}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We put forward a cutoff technique for determining the number of agents that is sufficient to consider when checking temporal-epistemic specifications on a system of any size. We identify a special class of interleaved interpreted systems for which we give a parameterised semantics and an abstraction methodology. This enables us to overcome the significant limitations in expressivity present in the state-of-the-art. We present an implementation and discuss experimental results.
AU - Kouvaros,P
AU - Lomuscio,A
EP - 2019
PB - AAAI Press / International Joint Conferences on Artificial Intelligence
PY - 2013///
SN - 1045-0823
SP - 2013
TI - A cutoff technique for the verification of parameterised interpreted systems with parameterised environments
ER -