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

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationModel Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Revised Selected and Invited Papers
Pages69-84
Number of pages16
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010 - Atlanta, GA, United States
Duration: 11 Jul 201011 Jul 2010

Publication series

SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6572 LNAI
ISSN0302-9743

Conference

Conference6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010
Abbreviated titleMoChArt 2010
Country/TerritoryUnited States
CityAtlanta, GA
Period11/07/1011/07/10

Fingerprint

Dive into the research topics of 'Automated verification of resource requirements in multi-agent systems using abstraction'. Together they form a unique fingerprint.

Cite this