Verifying Adversarial Robustness of 3D Object Detectors for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore