A model transformation approach for verifying multi-agent systems using SPIN.

Lily Chang Xudong He

Published in: SAC (2011)

Keyphrases

multi agent systems
computational model
formal model
experimental data
sensitivity analysis
real time
high level
statistical model
data sets
information retrieval
decision trees
management system
theoretical framework
autoregressive