KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article, Amsterdam, Netherlands, 2006
Publisher:
Elsevier Science, Annals of Pure and Applied Logic, №141
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
On complexity of verification of interacting agents' behavior
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:
Multi-Agent Systems, temporal logics, mu-calculus,model checking, computational complexity
Publication language: english,  pages: 46
Research direction:
Programming, parallel computing, multimedia
English source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Valiev M. K.,  KIAM RAS
  • Дехтярь М.И.
  • Диковский А.Я.