Neural Network Verification on Quadrotor-2D
78,818Time (s)Clip-and-Verify
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Clip-and-VerifyClipping Strategy=Complete clipping2025.12 | 78,818 | 1,112,917,436 | |
| Clip-and-VerifyClipping Strategy=Relaxed clipping2025.12 | 209,504 | 2,630,043,050 |