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.
