Safety Certification on Synthetic Neural-Controlled Quadrotor (N=1000 train T=2500 test)
93SoundnessDirect + UQ
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Direct + UQuncertainty quantification=true, confidence level=90%2026.05 | 93 | 8.5 | 15.2 | |
| Indirect + UQuncertainty quantification=true, confidence level=90%2026.05 | 56 | 0 | 3.4 |