A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The method is illustrated for an example multi-agent system, consisting of co-operative information gathering agents. This application of the verification method results in a formal analysis of pro-activeness and reactiveness of agents.
CITATION STYLE
Jonker, C. M., & Treur, J. (1998). Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1536, pp. 350–380). Springer Verlag. https://doi.org/10.1007/3-540-49213-5_13
Mendeley helps you to discover research relevant for your work.