Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications
File(s)
Accepted version
Author(s)
Lomuscio, A
Michaliszyn, J
Type
Conference Paper
Date Issued
2016-05-09
Date Acceptance
2016-05-09
Citation
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS '16), 2016, pp.662-670
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)
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.
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/I00520X/1
Source
2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS '16)
Start Date
2016-05-09
Finish Date
2016-05-13
Coverage Spatial
Singapore