An Open Alternative for SMT-Based Verification of Scade Models.

Henning Basold Henning Günther Michaela Huhn Stefan Milius

Published in: FMICS (2014)

Keyphrases

data sets
databases
genetic algorithm
prior knowledge
real time
artificial intelligence
feature selection
decision making
probabilistic model
probability distribution
generative model
model checking