Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:DiVA.org:bth-9359

Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation

Authors
Publication date
1 January 1998
Publisher
Paris : IEEE Computer Society Press, 1998

Abstract

A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that part of the proofs can be reused in relation to reuse of components

Similar works

Full text

thumbnail-image

Blekinge Institute of Technology

redirect
oaioai:DiVA.org:bth-9359
Last time updated on 30/09/2021

This paper was published in Blekinge Institute of Technology.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.