Formal Verification of Bayesian Network Classifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andy Shih' in GoogleThis author has not been identified. Look up 'Arthur Choi' in GoogleThis author has not been identified. Look up 'Adnan Darwiche' in Google

runs on WebDSL