selected publications

• chapter

  • A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles.  Lecture Notes in Computer Science. 149-162. 2020

• conference paper

  • Towards the Quantitative Verification of Deep Learning for Safe Perception.  . 2022