Safety Verification on Planar Quadrotor (subregions certifiable)
71.2Verification Rate
LightCROWN
Updated 23d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 71.2 | 264 | |
2026.05 | 48.8 | 425 | |
2026.05 | 48.8 | 421 | |
2026.05 | 13.2 | 481 | |
2026.05 | 13.2 | 510 | |
2026.05 | 13.2 | 610 | |
2026.05 | 13.2 | 497 | |
2026.05 | 13.2 | 503 | |
2026.05 | 13.2 | 610 | |
2026.05 | 13 | 508 | |
2026.05 | 13 | 602 | |
2026.05 | 12.8 | 513 |