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