Synthesizing agent protocols from LTL specifications against multiple partially-observable environments
Giuseppe De Giacomo, Paolo Felli, Alessio R. Lomuscio · Open Research (University of Surrey) · 2012
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.