Automatic refinement checking for formal system models.

Julia Seiter Robert Wille Ulrich Kühne Rolf Drechsler

Published in: FDL (2014)

Keyphrases

databases
probabilistic model
machine learning
formal model
fully automatic
data driven
parameter estimation
machine learning algorithms
mathematical models
database
computational models
statistical models
computational model
model selection
prior knowledge
expert systems
image sequences
neural network