A Verification Framework for Normative Multi-Agent Systems.

Lacramioara Astefanoaei Mehdi Dastani John-Jules Ch. Meyer Frank S. de Boer

Published in: PRIMA (2008)

Keyphrases

multi agent systems
cooperative
multi agent
data sets
multiscale
main contribution
intelligent agents
real time
machine learning
information systems
website
decision trees
bayesian networks
mobile robot
agent architecture
formal methods