Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.

Catholijn M. Jonker Jan Treur

Published in: COMPOS (1997)

Keyphrases

formal analysis
multi agent systems
formal methods
agent systems
multi agent
game theory
autonomous agents
distributed problem solving
software agents
agent technology
agent model
petri net
databases
software systems
trust model
intelligent agents
object oriented
cooperative
database systems