selected publications conference paper Towards the Quantitative Verification of Deep Learning for Safe Perception. . 2022