Safety Verification on Planar Quadrotor Adversarial Training
92.8Verification RateLightCROWN
Evaluation results
| Method | Links | ||
|---|---|---|---|
| LightCROWNalpha=02026.05 | 92.8 | 903 | |
| LightCROWNalpha=0.12026.05 | 87.3 | 1,148 | |
| LightCROWNalpha=0.22026.05 | 79 | 1,196 | |
| LightCROWNalpha=0.52026.05 | 44.7 | 1,168 | |
| BBValpha=02026.05 | 42.1 | 1,502 | |
| CROWNalpha=02026.05 | 37.5 | 1,503 | |
| BBValpha=0.12026.05 | 32.7 | 1,298 | |
| CROWNalpha=0.12026.05 | 29.4 | 1,611 | |
| BBValpha=0.22026.05 | 25.6 | 1,396 | |
| CROWNalpha=0.22026.05 | 23.4 | 1,771 | |
| BBValpha=0.52026.05 | 15 | 1,570 | |
| CROWNalpha=0.52026.05 | 13.6 | 1,788 |