@inproceedings{8a20311b38084bd4a01f2fe89794af62,
title = "Automated verification of resource requirements in multi-agent systems using abstraction",
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.",
author = "Natasha Alechina and Brian Logan and Nguyen, {Hoang Nga} and Abdur Rakib",
year = "2011",
doi = "10.1007/978-3-642-20674-0_5",
language = "English",
isbn = "9783642206733",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "69--84",
booktitle = "Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Revised Selected and Invited Papers",
note = "6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, MoChArt 2010 ; Conference date: 11-07-2010 Through 11-07-2010",
}