Formal Verification of Opinion Formation in Swarms

File Description SizeFormat 
aamas2016.pdfAccepted version298.86 kBAdobe PDFDownload
Title: Formal Verification of Opinion Formation in Swarms
Author(s): Kouvaros, P
Lomuscio, A
Item Type: Conference Paper
Publication Date: 9-May-2016
Date of Acceptance: 9-May-2016
URI: http://hdl.handle.net/10044/1/34131
ISBN: 978-1-4503-4239-1
Publisher: ACM
Start Page: 1200
End Page: 1208
Journal / Book Title: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS '16)
Sponsor/Funder: Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (EPSRC)
Funder's Grant Number: EP/I00520X/1
COLAR_P60375
Conference Name: 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS '16)
Copyright Statement: © 2016 International Foundation for Autonomous Agents and Multiagent Systems. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems.
Publication Status: Published
Start Date: 2016-05-09
Finish Date: 2016-05-13
Conference Place: Singapore
Appears in Collections:Faculty of Engineering
Computing



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

Creative Commons