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

Article, Moscow, 2009
Publisher:
Программирование, 2009, № 5, 37-56
Authors: Valiev M.K., Dekhtyar M.I., Dikovsky A.Ya.
Systems of Agents Controlled by Logical Programs: Complexity of Verification
Abstract:
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
Source text:
  (PDF)