Formal Verification of Bayesian Network Classifiers.

Andy Shih Arthur Choi Adnan Darwiche

Published in: PGM (2018)

Keyphrases

bayesian network classifiers
formal verification
model checking
bayesian networks
structure learning
discriminative learning
naive bayes
classification accuracy
naive bayes classifier
benchmark data sets
data sets
knn
class imbalance
feature selection
multi class
graphical models