74
IRUS TotalDownloads
Altmetric
A counter abstraction technique for the verification of robot swarms.
| File | Description | Size | Format | |
|---|---|---|---|---|
 aaai2015.pdf | Accepted version | 274.96 kB | Adobe PDF | View/Open |
| Title: | A counter abstraction technique for the verification of robot swarms. |
| Authors: | Lomuscio, AR Kouvaros, P |
| Item Type: | Conference Paper |
| Abstract: | 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. |
| Issue Date: | 25-Jan-2015 |
| Date of Acceptance: | 10-Jan-2015 |
| URI: | http://hdl.handle.net/10044/1/20101 |
| Publisher: | AAAI |
| Start Page: | 2081 |
| End Page: | 2088 |
| Journal / Book Title: | AAAI |
| Copyright Statement: | © 2015 Association for the Advancement of Artificial Intelligence. All rights reserved |
| Sponsor/Funder: | Engineering & Physical Science Research Council (EPSRC) |
| Funder's Grant Number: | EP/I00520X/1 |
| Conference Name: | Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI15) |
| Keywords: | Science & Technology Technology Computer Science, Artificial Intelligence Computer Science, Theory & Methods Engineering, Electrical & Electronic Computer Science Engineering MODEL CHECKING ENVIRONMENT ABSTRACTION FRAMEWORK |
| Publication Status: | Published |
| Start Date: | 2015-01-25 |
| Finish Date: | 2015-01-31 |
| Conference Place: | Austin, Texas, USA |
| Online Publication Date: | 2015-01-25 |
| Appears in Collections: | Computing Faculty of Engineering |