Title of article
On complexity of verification of interacting agents’ behavior
Author/Authors
Dekhtyar، نويسنده , , Michael and Dikovsky، نويسنده , , Alexander and Valiev، نويسنده , , Mars، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
27
From page
336
To page
362
Abstract
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.
Keywords
Temporal logics , model checking , Complexity , Multi-agent systems , ? -calculus
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1444181
Link To Document