Verifying Norm Compliancy of Protocols.

Huib Aldewereld Javier Vázquez-Salceda Frank Dignum John-Jules Ch. Meyer

Published in: AAMAS Workshops (2005)

Keyphrases

communication protocols
information retrieval
objective function
model checking
database
neural network
case study
convex functions
penalty term