Symmetric Robustness Verification on ACAS
5.03Verification Time (s)CGR Baseline
Evaluation results
| Method | Links | ||
|---|---|---|---|
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.72026.06 | 5.03 | — | |
| CGR Baselineepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 5.11 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.992026.06 | 146 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.72026.06 | 6,355 | — | |
| TwoSafeepsilon (perturbation bound)=10-3, tau (confidence threshold)=0.62026.06 | 6,914 | — |