Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Lomuscio,
author = {Lomuscio, AR and Cermak, P and Murano, A},
pages = {2038--2044},
publisher = {AAAI Press},
title = {Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications},
url = {http://www.aaai.org/Press/Proceedings/iaai15.php},
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - Strategy Logic (SL) has recently come to the fore as a usefulspecification language to reason about multi-agent systems.Its one-goal fragment, or SL[1G], is of particular interest asit strictly subsumes widely used logics such as ATL, whilemaintaining attractive complexity features. In this paper weput forward an automata-based methodology for verifyingand synthesising multi-agent systems against specificationsgiven in SL[1G]. We show that the algorithm is sound andoptimal from a computational point of view. A key featureof the approach is that all data structures and operations onthem can be performed on BDDs. We report on a BDD-basedmodel checker implementing the algorithm and evaluate itsperformance against a number of scalable scenarios.
AU - Lomuscio,AR
AU - Cermak,P
AU - Murano,A
EP - 2044
PB - AAAI Press
SP - 2038
TI - Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications
UR - http://www.aaai.org/Press/Proceedings/iaai15.php
UR - http://hdl.handle.net/10044/1/26816
ER -