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{2015,
pages = {2081--2088},
title = {A counter abstraction technique for the verification of robot swarms},
url = {http://hdl.handle.net/10044/1/20101},
year = {2015}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - © Copyright 2015, Association for the Advancement of Artificial Intelligence (www.aaa1.org). All rights reserved. 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.
EP - 2088
PY - 2015///
SP - 2081
TI - A counter abstraction technique for the verification of robot swarms
UR - http://hdl.handle.net/10044/1/20101
ER -