Reachability Analysis on 6D Quadrotor tanh NN
1,613Branches Analyzed1st order (local)
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| 1st order (local)BaB Tol=10^-32026.05 | 1,613 | 555 | |
| 1st order (local)BaB Tol=10^-22026.05 | 908 | 320.4 | |
| HITABBaB Tol=10^-32026.05 | 434.8 | 531.4 | |
| HITABBaB Tol=10^-22026.05 | 119.7 | 108.7 |