Verification of Neural Networks for Safety Critical Applications | IEEE Conference Publication | IEEE Xplore