@inproceedings{ShihChoiDarwiche18b, author = {Andy Shih and Arthur Choi and Adnan Darwiche}, title = {Formal Verification of {B}ayesian Network Classifiers}, booktitle = {Proceedings of the 9th International Conference on Probabilistic Graphical Models (PGM)}, year = {2018} }