Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 350-380
- https://doi.org/10.1007/3-540-49213-5_13
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the Formal Specification and Verification of Multi-Agent SystemsInternational Journal of Cooperative Information Systems, 1997
- Compositional verification of knowledge-based systems: A case study for diagnostic reasoningPublished by Springer Nature ,1997
- A methodology and modelling technique for systems of BDI agentsPublished by Springer Nature ,1996
- Formal methods in knowledge engineeringThe Knowledge Engineering Review, 1995
- Intelligent AgentsPublished by Springer Nature ,1995
- Compositional verification of a distributed real-time arbitration protocolReal-Time Systems, 1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993