Contract-Based Verification of Simulink Models.

Pontus Boström

Published in: ICFEM (2011)

Keyphrases

probabilistic model
statistical models
statistical model
data mining
machine learning
computer vision
graphical models
model selection
parameter estimation
machine learning algorithms
autoregressive
accurate models