Proving Critical Properties of Simulink Models.

Ashlie B. Hocking M. Anthony Aiello John C. Knight Nikos Aréchiga

Published in: HASE (2016)

Keyphrases

machine learning
data sets
neural network
information systems
probabilistic model
model selection
experimental data
mathematical models
accurate models
image processing
decision trees
expert systems
desirable properties
modeling framework
probability models