Provable Translational Robustness For Object Detection With Convolutional Neural Networks | IEEE Conference Publication | IEEE Xplore