Formale Verifizierung von Objekterkennungsmodellen zur Gewährleistung der Stabilität bei lokalen Störungen

Wir stellen einen neuartigen Ansatz auf Basis von Intervall-Bound-Propagation (IBP) zur formalen Verifizierung von Objekterkennungsmodellen vor, der speziell auf die Intersection-over-Union (IoU)-Metrik abzielt. Unser Verfahren ermöglicht es, die Stabilität von Objekterkennungsmodellen gegenüber plausiblen Störungen zu zertifizieren.