Formal Verification of Deep Neural Networks | IEEE Conference Publication | IEEE Xplore