A Counter Abstraction Technique for the Verification of Robot Swarms.

File Description SizeFormat 
aaai2015.pdfAccepted version274.96 kBAdobe PDFDownload
Title: A Counter Abstraction Technique for the Verification of Robot Swarms.
Author(s): Lomuscio, AR
Kouvaros, P
Item Type: Conference Paper
Abstract: © 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.
Publication Date: 25-Jan-2015
URI: http://hdl.handle.net/10044/1/20101
Publisher: AAAI
Journal / Book Title: AAAI
Copyright Statement: © 2015 Association for the Advancement of Artificial Intelligence. All rights reserved
Conference Name: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI15)
Publication Status: Accepted
Publisher URL: http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9910
Start Date: 2015-01-25
Finish Date: 2015-01-31
Conference Place: Austin, Texas, USA
Appears in Collections:Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons