Imperial College London
Portrait Picture

ProfessorAlessioLomuscio

Faculty of Engineering, Department of Computing

Professor of Safe Artificial Intelligence
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

Imperial-XTranslation & Innovation Hub BuildingWhite City 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}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We study parameterised verification of robot swarms against temporal-epistemic specifications. We relax some of the significant restrictions assumed in the literature and present a counter abstraction approach that enable us to verify a potentially much smaller abstract model when checking a formula on a swarm of any size. We present an implementation and discuss experimental results obtained for the alpha algorithm for robot swarms.
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  - https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9910
UR  - http://hdl.handle.net/10044/1/20101
ER  -
Download