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]
@inproceedings{ShihCD18-0, title = {Formal Verification of Bayesian Network Classifiers}, author = {Andy Shih and Arthur Choi and Adnan Darwiche}, year = {2018}, url = {http://proceedings.mlr.press/v72/shih18a.html}, researchr = {https://researchr.org/publication/ShihCD18-0}, cites = {0}, citedby = {0}, pages = {427-438}, booktitle = {International Conference on Probabilistic Graphical Models, PGM 2018, 11-14 September 2018, Prague, Czech Republic}, editor = {Milan Studený and Václav Kratochvíl}, volume = {72}, series = {Proceedings of Machine Learning Research}, publisher = {PMLR}, }