Compositional design and verification of a multi-agent system for one-to-many negotiation
- 1 January 1998
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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 parts of the proofs can be reused in relation to reuse of components.Keywords
This publication has 5 references indexed in Scilit:
- Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and ReactivenessPublished by Springer Nature ,1998
- Desire: Modelling Multi-Agent Systems in a Compositional Formal FrameworkInternational Journal of Cooperative Information Systems, 1997
- On the Formal Specification and Verification of Multi-Agent SystemsInternational Journal of Cooperative Information Systems, 1997
- Compositional verification of a distributed real-time arbitration protocolReal-Time Systems, 1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993