Towards a truck-driver model using a hysteresis based analysis and verification approach.

Lancelot Six Zahia Guessoum Julien Saunier Sio-Song Ieng

Published in: AAMAS (2013)

Keyphrases

mathematical model
formal model
theoretical analysis
colored petri nets
data sets
simulation model
maximum likelihood
high level
least squares
management system
probabilistic model
computational model
data analysis
conceptual model
quantitative analysis
decision trees
empirical data
formal methods
genetic algorithm