@inproceedings{SCDpgm18,
  author    = {Andy Shih and Arthur Choi and Adnan Darwiche},
  title     = {Formal Verification of Bayesian Network Classifiers},
  booktitle = {Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM)},
  month     = {september},
  year      = {2018},
  url       = "https://cs.stanford.edu/~andyshih/assets/pdf/SCDpgm18.pdf",
  keywords  = {conference}
}