Finding Uniform Strategies for Multi-agent Systems

We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomplete information for enforcing a property expressible in the language of Alternating-time Temporal Logic ATL. The main application of the algorithm is automated program synthesis for systems that can be modeled as multi-agent systems with incomplete information (e.g., decentralized distributed systems).

• Type: Conference
• Year: 2010
• Where: CLIMA
• Authors: Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff
• Keywords: CLIMA 2010, Incomplete Information, Intelligent Agents, Multi-agent Systems, Uniform Strategies