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{Lomuscio:2015,
author = {Lomuscio, AR and Kouvaros, P},
pages = {2081--2088},
publisher = {AAAI},
title = {A Counter Abstraction Technique for the Verification of Robot Swarms.},
url = {http://www.doc.ic.ac.uk/~alessio/papers.html},
year = {2015}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We study parameterised verification of robot swarmsagainst temporal-epistemic specifications. We relaxsome of the significant restrictions assumed in the lit-erature and present a counter abstraction approach thatenable us to verify a potentially much smaller abstractmodel when checking a formula on a swarm of any size.We present an implementation and discuss experimen-tal results obtained for the alpha algorithm for robotswarms
AU - Lomuscio,AR
AU - Kouvaros,P
EP - 2088
PB - AAAI
PY - 2015///
SP - 2081
TI - A Counter Abstraction Technique for the Verification of Robot Swarms.
UR - http://www.doc.ic.ac.uk/~alessio/papers.html
UR - http://hdl.handle.net/10044/1/20101
ER -