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{De:2012,
author = {De, Giacomo G and Felli, P and Lomuscio, A},
pages = {457--466},
title = {Synthesizing agent protocols from LTL specifications against multiple partially-observable environments},
year = {2012}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We consider the problem of synthesizing an agent protocol satisfying LTL specifications for multiple, partially-observable environments. We present a sound and complete procedure for solving the synthesis problem in this setting and show it is computationally optimal from a theoretical complexity standpoint. While this produces perfect-recall, hence unbounded, strategies we show how to transform these into agent protocols with bounded number of states. Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
AU - De,Giacomo G
AU - Felli,P
AU - Lomuscio,A
EP - 466
PY - 2012///
SP - 457
TI - Synthesizing agent protocols from LTL specifications against multiple partially-observable environments
ER -