Data-driven and model-based verification: A Bayesian identification approach.

Sofie Haesaert Alessandro Abate Paul M. J. Van den Hof

Published in: CDC (2015)

Keyphrases

data driven
person identification
model checking
e learning
face verification
formal verification
database
machine learning
bayesian networks
automatic identification