Tech Reports

ULCS-09-004

Model-Checking Auctions, Coalitions and Trust

Matt Webster, Louise Dennis and Michael Fisher

Abstract

In this paper we tackle the verification of basic auction models that are at the heart of many market-based multi-agent systems. Specifically, we program auctions in a BDI-based programming language and then use agent model checking to verify logical properties concerning time, beliefs and goals within the multi-agent system. The basic auction model is then extended with coalition formation and trust, and verification of these aspects is carried out.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.