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

Article, Moscow, 2009
Программирование, 2009, № 5, 37-56
Authors: Valiev M.K., Dekhtyar M.I., Dikovsky A.Ya.
Systems of Agents Controlled by Logical Programs: Complexity of Verification
The complexity of the verification problem for the behavior (dynamical properties) of systems of interacting intelligent agents is considered. This paper is a continuation of our publications, in which this problem was mainly considered as applied to deterministic and nondeterministic systems, and largely focuses on asynchronous systems.
Publication language: english,  pages: 16
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
  • Dekhtyar M.I.
  • Dikovsky A.Ya.