Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.

Viorel Preoteasa Iulia Dragomir Stavros Tripakis

Published in: FORTE (2017)

Keyphrases

fault detection
data sets
theorem prover
bayesian model
max margin learning
neural network
hierarchical structure
image blocks
artificial intelligence
bayesian networks
multiresolution
markov random field