NCBF Verification on Darboux 1.0 (test)
2.5Verification Run-time (s)SEEV
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| SEEVn (state dimension)=2, L (layers)=2, M (neurons per layer)=256, N (active regions)=152024.10 | 2.5 | 2.5 | 0 | |
| SEEVn (state dimension)=2, L (layers)=2, M (neurons per layer)=512, N (active regions)=152024.10 | 3.3 | 3.3 | 0 | |
| Baselinen (state dimension)=2, L (layers)=2, M (neurons per layer)=256, N (active regions)=152024.10 | 315 | — | — | |
| Baselinen (state dimension)=2, L (layers)=2, M (neurons per layer)=512, N (active regions)=152024.10 | 631 | — | — |