Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization | IEEE Conference Publication | IEEE Xplore