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

, Moscow, 2009
Publisher:
Программирование, 2009, № 5, 37-56, Moscow, 2009
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)