Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
Blekinge Institute of Technology, Department of Software Engineering and Computer Science1998 (English)Conference paper (Refereed) Published
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.
Software Engineering Computer Science
IdentifiersURN: urn:nbn:se:bth-9359Local ID: oai:bth.se:forskinfoF8A212047C5EA5E2C12568A3002CABFFISBN: 0-8186-8500-XOAI: oai:DiVA.org:bth-9359DiVA: diva2:837183
International Conference on Multi Agent Systems (ICMAS'98)