Counterexample visualization and explanation for function block diagrams.

Antti Pakonen Igor Buzhinsky Valeriy Vyatkin

Published in: INDIN (2018)

Keyphrases

neural network
machine learning
data analysis
digital images
piecewise linear
hand drawn
database
databases
artificial intelligence
bayesian networks
multiscale
model checking
visualization tools
formal verification
abductive reasoning
graphical representations