Andy Shih, Arthur Choi, Adnan Darwiche. Formal Verification of Bayesian Network Classifiers. In Milan Studený, Václav Kratochvíl, editors, International Conference on Probabilistic Graphical Models, PGM 2018, 11-14 September 2018, Prague, Czech Republic. Volume 72 of Proceedings of Machine Learning Research, pages 427-438, PMLR, 2018. [doi]
Abstract is missing.