Safety verification on Steam Governor
62Verification TimeFlow*
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Flow*T=2, TM=10, δ=0.12023.01 | 62 | — | — | |
| Neural AbstractionsT=2, W=[12], M=292023.01 | 219 | — | — | |
| Certified Neural ApproximationsNetwork=[12], Dim=3, Time (s)=0.182025.05 | — | 1 | — | |
| Certified Neural ApproximationsNetwork=3x[64], Dim=3, Time (s)=69.472025.05 | — | 1 | — |