Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information

  • Jan Calta
  • Dmitry Shkatov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)


We present an algorithm for synthesizing strategies for multi-agent systems composed of homogeneous agents possessing incomplete information about the system as a whole. The algorithm finds all maximal strategies for such agents that enforce a certain property of the system. In contrast to other algorithms known from the literature, our algorithm can be used for automated program synthesis for systems in which agents are required to be homogeneous (i.e., every agent has to follow the same strategy), which is a more restrictive setting.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Calta, J., Shkatov, D., Schlingloff, B.H.: Finding Uniform Strategies for Multi-agent Systems. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 135–152. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Gastin, P., Sznajder, N., Zeitoun, M.: Distributed synthesis for well-connected architectures. Formal Methods in System Design 34(3), 215–237 (2009)CrossRefzbMATHGoogle Scholar
  4. 4.
    Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Logic 11(1), 1–51 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Jamroga, W., Ågotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-classical Logics 17(4), 423–475 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Jamroga, W., Ågotnes, T.: Modular interpreted systems. In: AAMAS 2007: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1–8. ACM, New York (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jan Calta
    • 1
  • Dmitry Shkatov
    • 2
  1. 1.Humboldt UniversityBerlinGermany
  2. 2.University of the WitwatersrandJohannesburgSouth Africa

Personalised recommendations