Verification of Dynamical Systems on NonlinearOscillator
100Certification RateCertified Neural Approximations
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Certified Neural ApproximationsNetwork=3x[64], Dim=1, Time (s)=0.352025.05 | 100 | — |
Loading the SOTA2 catalog…
| Method | Links | ||
|---|---|---|---|
| Certified Neural ApproximationsNetwork=3x[64], Dim=1, Time (s)=0.352025.05 | 100 | — |