Modelling and analysis of multi-agent systems using UPPAAL SMC.

Christian Nigro Libero Nigro Paolo F. Sciammarella

Published in: Int. J. Simul. Process. Model. (2018)

Keyphrases

multi agent systems
statistical analysis
information retrieval
reinforcement learning
quantitative analysis
genetic algorithm
decision making
image processing
case study
data analysis
model checking
agent systems