Safety Verification on Inverted Pendulum (subregions certifiable)
0.911Success Rate (%)CROWN
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| CROWNalpha=0, Training Protocol=regular training2026.05 | 0.911 | 62 | |
| LightCROWNalpha=0, Training Protocol=regular training2026.05 | 0.911 | 62 | |
| CROWNalpha=0.1, Training Protocol=regular training2026.05 | 0.911 | 53 | |
| LightCROWNalpha=0.1, Training Protocol=regular training2026.05 | 0.911 | 53 | |
| CROWNalpha=0.2, Training Protocol=regular training2026.05 | 0.911 | 53 | |
| LightCROWNalpha=0.2, Training Protocol=regular training2026.05 | 0.911 | 53 | |
| CROWNalpha=0.5, Training Protocol=regular training2026.05 | 0.91 | 33 | |
| LightCROWNalpha=0.5, Training Protocol=regular training2026.05 | 0.91 | 33 | |
| BBValpha=0, Training Protocol=regular training2026.05 | 0.908 | 35 | |
| BBValpha=0.1, Training Protocol=regular training2026.05 | 0.908 | 33 | |
| BBValpha=0.2, Training Protocol=regular training2026.05 | 0.908 | 34 | |
| BBValpha=0.5, Training Protocol=regular training2026.05 | 0.908 | 34 |