Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications

File Description SizeFormat 
main.pdfAccepted version293.79 kBAdobe PDFDownload
Title: Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications
Author(s): Lomuscio, A
Michaliszyn, J
Item Type: Conference Paper
Publication Date: 9-May-2016
Date of Acceptance: 9-May-2016
URI: http://hdl.handle.net/10044/1/34132
ISBN: 978-1-4503-4239-1
Publisher: ACM
Start Page: 662
End Page: 670
Journal / Book Title: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS '16)
Sponsor/Funder: Engineering & Physical Science Research Council (EPSRC)
Funder's Grant Number: EP/I00520X/1
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.
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