Imperial College London
Portrait Picture

ProfessorAlessioLomuscio

Faculty of Engineering, Department 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{Čermák:2015,
author = {ermák, P and Lomuscio, A and Murano, A},
pages = {2038--2044},
title = {Verifying and synthesising multi-agent systems against one-goal strategy logic specifications},
url = {http://hdl.handle.net/10044/1/26816},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - © Copyright 2015, Association for the Advancement of Artificial Intelligence (www.aaa1.org). All rights reserved. Strategy Logic (SL) has recently come to the fore as a useful specification language to reason about multi-agent systems. Its one-goal fragment, or SL[1g], is of particular interest as it strictly subsumes widely used logics such as ATL∗, while maintaining attractive complexity features. In this paper we put forward an automata-based methodology for verifying and synthesising multi-agent systems against specifications given in SL[Ig], We show that the algorithm is sound and optimal from a computational point of view. A key feature of the approach is that all data structures and operations on them can be performed on BDDs. We report on a BDD-based model checker implementing the algorithm and evaluate its performance on the fair process scheduler synthesis.
AU  - ermák,P
AU  - Lomuscio,A
AU  - Murano,A
EP  - 2044
PY  - 2015///
SP  - 2038
TI  - Verifying and synthesising multi-agent systems against one-goal strategy logic specifications
UR  - http://hdl.handle.net/10044/1/26816
ER  -
Download