A synergistic and extensible framework for multi-agent system verification.

Josie Hunter Franco Raimondi Neha Rungta Richard Stocker

Published in: AAMAS (2013)

Keyphrases

multi agent systems
neural network
cooperative
probabilistic model
machine learning
main contribution
data sets
real world
information systems
decision making
search algorithm
data model
object oriented
model checking