Automated model analysis tools and techniques presented at FASE 2019.

Reiner Hähnle Wil M. P. van der Aalst

Published in: Int. J. Softw. Tools Technol. Transf. (2021)

Keyphrases

high level
mathematical model
computational model
database
experimental data
objective function
data analysis
prior knowledge
theoretical analysis
autoregressive
statistical model
theoretical framework
probabilistic model
evolutionary algorithm
multi agent
learning algorithm
neural network