Sciweavers

Share
DALT
2004
Springer
10 years 3 months ago
Model Checking Agent Dialogues
In this paper we address the challenges associated with the veriļ¬cation of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
Christopher D. Walton
books