Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
Show others and affiliations
Responsible organisation
1998 (English)Conference paper, Published 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.
Keywords [en]
multi-agent, verification
National Category
Software Engineering Computer Sciences
Identifiers
URN: urn:nbn:se:bth-9359Local ID: oai:bth.se:forskinfoF8A212047C5EA5E2C12568A3002CABFFISBN: 0-8186-8500-X (print)OAI: oai:DiVA.org:bth-9359DiVA, id: diva2:837183
Conference
International Conference on Multi Agent Systems (ICMAS'98)
Available from: 2012-09-18 Created: 2000-03-15 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

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

Authority records

Gustavsson, Rune

Search in DiVA

By author/editor
Gustavsson, Rune
Software EngineeringComputer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 228 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 366 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf