Safety verification on Water Tank
1Safety Verification ResultCertified Neural Approximations
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Certified Neural ApproximationsNetwork=[12], Dim=1, Time (s)=0.022025.05 | 1 | — | — | |
| Certified Neural ApproximationsNetwork=3x[64], Dim=1, Time (s)=0.562025.05 | 1 | — | — | |
| Neural AbstractionsT=2, W=[12], M=62023.01 | — | 49 | — |