Skip to main content

Research Repository

Advanced Search

Automated verification of resource requirements in multi-agent systems using abstraction

Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur


Natasha Alechina

Brian Logan

Hoang Nga Nguyen

Profile Image

Rakib Abdur
Senior Lecturer in Mobile Security


Ron van der Meyden

Jan-Georg Smaus


We describe a framework for the automated verification of multi-agent systems which do distributed problem solving, e.g. query answering. Each reasoner uses facts, messages and Horn clause rules to derive new information. We show how to verify correctness of distributed problem solving under resource constraints, such as the time required to answer queries and the number of messages exchanged by the agents. The framework allows the use of abstract specifications consisting of Linear Time Temporal Logic (LTL) formulas to specify some of the agents in the system. We illustrate the use of the framework on a simple example. © 2011 Springer-Verlag.


Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2011). Automated verification of resource requirements in multi-agent systems using abstraction. Lecture Notes in Artificial Intelligence, 6572 LNAI, 69-84.

Journal Article Type Conference Paper
Publication Date May 2, 2011
Journal Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Print ISSN 0302-9743
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 6572 LNAI
Pages 69-84
Keywords rule-based distributed reasoning, model checking
Public URL
Publisher URL

This file is under embargo due to copyright reasons.

You might also like

Downloadable Citations