Using SPIN to Check Nondeterministic Simulink Stateflow Models.

Chikatoshi Yamada D. Michael Miller

Published in: ISMVL (2015)

Keyphrases

probabilistic model
reinforcement learning
neural network
machine learning
e learning
knowledge base
face recognition
bayesian networks
multiscale
model selection
complex systems
experimental data
statistical models