Probabilistic Hull Finding on ACAS Xu
0.9865Lower Bound (Ls)
Regression Tree-Guided Probabilistic Verification
Updated 3mo ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| 0.9865 | 1 | 0.0135 | 68.06 | ||
| 0.9864 | 1 | 0.0136 | 59.52 | ||
2026.04 | 0.9845 | 1 | 0.0155 | 1,413.22 | |
2026.04 | 0.9837 | 1 | 0.0163 | 1,019.67 | |
| 0.9823 | 1 | 0.0177 | 303.09 | ||
| 0.9819 | 0.9997 | 0.0178 | 142.3 | ||
| 0.9815 | 0.9995 | 0.018 | 264 | ||
| 0.9778 | 1 | 0.0222 | 397.2 | ||
2026.04 | 0.9616 | 1 | 0.0384 | - | |
| 0.9502 | 0.9994 | 0.0492 | 686.66 | ||
2026.04 | 0.9397 | 1 | 0.0603 | - | |
| 0.9293 | 0.9976 | 0.0682 | 1,188.63 | ||
2026.04 | 0.8993 | 1 | 0.1007 | - | |
2026.04 | 0.8896 | 1 | 0.1104 | - | |
2026.04 | 0.8886 | 1 | 0.1114 | - | |
| 0.8673 | 0.9448 | 0.0775 | 1,338.55 | ||
2026.04 | 0.7738 | 1 | 0.2262 | - | |
2026.04 | 0.7682 | 1 | 0.2318 | - |