Alternating-time temporal logic
Journal of the ACM (JACM)
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Distributed synthesis for well-connected architectures
Formal Methods in System Design
Tableau-based decision procedures for logics of strategic ability in multiagent systems
ACM Transactions on Computational Logic (TOCL)
Finding uniform strategies for multi-agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Hi-index | 0.00 |
We present an algorithm for synthesizing strategies for multiagent 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.