Robustness Verification on GTSRB
99.98PRSVSTBP (LJ Sampling)
Evaluation Results
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| STBP (LJ Sampling)Epsilon=1/2552026.06 | 99.98 | — | — | — | — | — | — | 0.1 | |
| STBP (LJ Sampling)Epsilon=2/2552026.06 | 93.1 | — | — | — | — | — | — | 0.13 | |
| STBP (LJ Sampling)Epsilon=3/2552026.06 | 91.2 | — | — | — | — | — | — | 0.17 | |
| VideoStar (Relax)Epsilon=1/2552026.06 | 91.16 | — | — | — | — | — | — | 222.43 | |
| VideoStar (Relax)Epsilon=2/2552026.06 | 74.88 | — | — | — | — | — | — | 459.89 | |
| VideoStar (Relax)Epsilon=3/2552026.06 | 57.21 | — | — | — | — | — | — | 1,044.4 | |
| Lipschitz Optimization for Formal Verification of HomographiesGeneration time (s)=292.6, Verification time (s)=5323.8, Total timeouts=178, Padding type=black, Lipschitz-error=0.01, Maximum BaB iterations=5,0002026.05 | — | 0 | 0 | 0 | 0 | 0 | 0 | — |