Safety verification on Jet Engine
215Metric tNeural Abstractions
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Neural AbstractionsT=1.5, W=[10, 16], M=82023.01 | 215 | — | — | |
| Flow*T=1.5, TM=10, δ=0.12023.01 | 1.3 | — | — | |
| Certified Neural ApproximationsNetwork=[10, 16], Dim=2, Time (s)=4.352025.05 | — | 1 | — | |
| Certified Neural ApproximationsNetwork=3x[64], Dim=2, Time (s)=19.272025.05 | — | 1 | — |