Safety Verification on Planar Quadrotor (subregions certifiable)
71.2Verification RateLightCROWN
Evaluation results
| Method | Links | ||
|---|---|---|---|
| LightCROWNalpha=0, Training Protocol=regular training2026.05 | 71.2 | 264 | |
| CROWNalpha=0, Training Protocol=regular training2026.05 | 48.8 | 425 | |
| BBValpha=0, Training Protocol=regular training2026.05 | 48.8 | 421 | |
| CROWNalpha=0.1, Training Protocol=regular training2026.05 | 13.2 | 481 | |
| LightCROWNalpha=0.1, Training Protocol=regular training2026.05 | 13.2 | 510 | |
| BBValpha=0.1, Training Protocol=regular training2026.05 | 13.2 | 610 | |
| CROWNalpha=0.2, Training Protocol=regular training2026.05 | 13.2 | 497 | |
| LightCROWNalpha=0.2, Training Protocol=regular training2026.05 | 13.2 | 503 | |
| BBValpha=0.2, Training Protocol=regular training2026.05 | 13.2 | 610 | |
| CROWNalpha=0.5, Training Protocol=regular training2026.05 | 13 | 508 | |
| BBValpha=0.5, Training Protocol=regular training2026.05 | 13 | 602 | |
| LightCROWNalpha=0.5, Training Protocol=regular training2026.05 | 12.8 | 513 |