ACAS Xu
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Probabilistic Hull Finding | ACAS Xu | Lower Bound (Ls)0.9865 | 18 | |
| Probabilistic safety verification | ACAS Xu Property P2 | Lower Bound (Ls)0.9847 | 18 | |
| Neural Network Reachability Analysis | ACAS Xu Property 1 | Average Width93.06 | 6 | |
| Critical Scenario Attribution | ACAS Xu | CTR99.5 | 4 |
Showing 4 of 4 rows