AAAI Publications, Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio

Last modified: 2012-05-17


We consider the problem of synthesizing an agent pro- tocol 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 com- plexity standpoint. While this produces perfect-recall, hence unbounded, strategies we show how to transform these into agent protocols with bounded number of states.

Full Text: PDF