On verification of dynamic properties of systems of interacting agents
Abstract:
A survey of authors` results is given on the problem of verifying dynamic properties of systems of interacting intelligent agents. The dynamic properties are formulated in terms of some variants of the first-order temporal logic.
Keywords:
Multi-Agent Systems, temporal logics, model checking, computational complexity
