Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.

Viorel Preoteasa Iulia Dragomir Stavros Tripakis

Published in: CoRR (2016)

Keyphrases

data sets
bayesian networks
max margin learning
control system
hierarchical model
neural network
image sequences
hierarchical structure
theorem prover
inference engine
dynamic bayesian networks
block wise