C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
Aditya Kanade
Rajeev Alur
Franjo Ivancic
S. Ramesh
Sriram Sankaranarayanan
K. C. Shashidhar
Published in:
CAV (2009)
Keyphrases
</>
statistical models
genetic algorithm
information systems
knowledge base
experimental data
accurate models
connectionist models
neural network
machine learning
artificial intelligence
search engine
high level
data structure
prior knowledge
d objects