Towards the Quantitative Verification of Deep Learning for Safe Perception | IEEE Conference Publication | IEEE Xplore