Parameterised verification for multi-agent systems

File Description SizeFormat 
aij.pdfAccepted version361.33 kBAdobe PDFDownload
1-s2.0-S0004370216000151-main.pdfPublished version1.42 MBAdobe PDFDownload
Title: Parameterised verification for multi-agent systems
Author(s): Lomuscio, AR
Kouvaros
Item Type: Journal Article
Publication Date: 18-Jan-2016
Date of Acceptance: 11-Jan-2016
URI: http://hdl.handle.net/10044/1/34002
DOI: https://dx.doi.org/10.1016/j.artint.2016.01.008
ISSN: 1872-7921
Publisher: Elsevier
Start Page: 152
End Page: 189
Journal / Book Title: Artificial Intelligence
Volume: 234
Copyright Statement: © 2016 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
Sponsor/Funder: Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (EPSRC)
Funder's Grant Number: EP/I00520X/1
COLAR_P60375
Keywords: Science & Technology
Technology
Computer Science, Artificial Intelligence
Computer Science
Multi-agent systems
Validation
Parameterised verification
Cutoffs
MODEL CHECKING
TEMPORAL LOGIC
REAL-TIME
KNOWLEDGE
ABSTRACTION
Artificial Intelligence & Image Processing
0801 Artificial Intelligence And Image Processing
1702 Cognitive Science
Publication Status: Published
Appears in Collections:Faculty of Engineering
Computing



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

Creative Commons