Safety Verification on Dubins Car subregions certifiable
90.5Success RateLightCROWN
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| LightCROWNalpha=02026.05 | 90.5 | 80 | |
| LightCROWNalpha=0.12026.05 | 88.5 | 84 | |
| LightCROWNalpha=0, Training Protocol=regular training2026.05 | 86 | 116 | |
| BBValpha=0, Training Protocol=regular training2026.05 | 84.1 | 140 | |
| CROWNalpha=0, Training Protocol=regular training2026.05 | 83.4 | 112 | |
| LightCROWNalpha=0.22026.05 | 80.4 | 89 | |
| LightCROWNalpha=0.52026.05 | 80.4 | 99 | |
| BBValpha=02026.05 | 75.7 | 84 | |
| CROWNalpha=02026.05 | 75.6 | 96 | |
| CROWNalpha=0.12026.05 | 75.5 | 98 | |
| BBValpha=0.12026.05 | 73.6 | 90 | |
| BBValpha=0.22026.05 | 73.6 | 91 | |
| CROWNalpha=0.22026.05 | 71.8 | 102 | |
| BBValpha=0.52026.05 | 67.4 | 99 | |
| CROWNalpha=0.52026.05 | 67.2 | 107 | |
| BBValpha=0.1, Training Protocol=regular training2026.05 | 50.7 | 211 | |
| CROWNalpha=0.1, Training Protocol=regular training2026.05 | 50.5 | 168 | |
| LightCROWNalpha=0.1, Training Protocol=regular training2026.05 | 47.9 | 189 | |
| BBValpha=0.2, Training Protocol=regular training2026.05 | 45.1 | 222 | |
| CROWNalpha=0.2, Training Protocol=regular training2026.05 | 44.9 | 182 | |
| LightCROWNalpha=0.2, Training Protocol=regular training2026.05 | 44.5 | 200 | |
| BBValpha=0.5, Training Protocol=regular training2026.05 | 42.8 | 234 | |
| CROWNalpha=0.5, Training Protocol=regular training2026.05 | 42.5 | 188 | |
| LightCROWNalpha=0.5, Training Protocol=regular training2026.05 | 42 | 207 |