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