Verification of Dynamical Systems on NonLipschitzVectorField1
100Certification RateCertified Neural Approximations
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Certified Neural ApproximationsNetwork=[10], Dim=1, Time (s)=0.032025.05 | 100 | — | |
| Certified Neural ApproximationsNetwork=3x[64], Dim=1, Time (s)=2.142025.05 | 100 | — |