AAAI Publications, Twenty-Ninth AAAI Conference on Artificial Intelligence

Font Size: 
A Counter Abstraction Technique for the Verification of Robot Swarms
Panagiotis Kouvaros, Alessio Lomuscio

Last modified: 2015-02-18


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.


Verification; Model Checking; Parameterised Verification; Robotic Swarms

Full Text: PDF