Verifying Interlevel Relations within Multi-Agent Systems

A. Sharpanskykh, J. Treur

Research output: Working paper / PreprintWorking paperProfessional

11 Downloads (Pure)


An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of every aggregation level is specified by a set of dynamic properties for components and interactions at that level, expressed in some (temporal) language. The dynamic properties of higher aggregation levels in principle can be logically related to dynamic properties of lower levels. This asks for identification and verification of such interlevel relations. In this article it is shown how this problem can be addressed using model checking techniques.
Original languageEnglish
Publication statusPublished - 2006


Dive into the research topics of 'Verifying Interlevel Relations within Multi-Agent Systems'. Together they form a unique fingerprint.

Cite this