Change search
ReferencesLink to record
Permanent link

Direct link
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
Show others and affiliations
Responsible organisation
1998 (English)Conference paper (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
Paris: IEEE Computer Society Press, 1998 , 1998.
Keyword [en]
multi-agent, verification
National Category
Software Engineering Computer Science
URN: urn:nbn:se:bth-9359Local ID: 0-8186-8500-XOAI: diva2:837183
International Conference on Multi Agent Systems (ICMAS'98)
Available from: 2012-09-18 Created: 2000-03-15 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(107 kB)11 downloads
File information
File name FULLTEXT01.pdfFile size 107 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Gustavsson, Rune
Software EngineeringComputer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 11 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 19 hits
ReferencesLink to record
Permanent link

Direct link