On complexity of verification of interacting agents' behavior

This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to the transition system induced by the definition of the multi-agent system. We establish various tight complexity bounds of the behavior properties under natural structural and semantic restrictions on agent programs and actions. Key words: Multi-Agent Systems, Temporal logics,

• Type: Journal
• Year: 2006
• Where: APAL
• Authors: Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
• Keywords: APAL 2006, Classical Temporal Logic, Multi-agent Systems, Temporal Logics