C2E2: A Verification Tool for Stateflow Models.

Parasara Sridhar Duggirala Sayan Mitra Mahesh Viswanathan Matthew Potok

Published in: TACAS (2015)

Keyphrases

statistical models
neural network
learning algorithm
computational models
machine learning
formal verification
real time
modeling framework
bayesian framework
model checking
experimental data
model selection
probabilistic model
prior knowledge
artificial neural networks
website
feature selection