Safety verification on Exponential
308TimeNeural Abstractions
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Neural AbstractionsT=1, W=[14, 14], M=122023.01 | 308 | — | |
| Flow*T=1, TM=30, δ=0.052023.01 | 1,034 | — |
| Method | Links | ||
|---|---|---|---|
| Neural AbstractionsT=1, W=[14, 14], M=122023.01 | 308 | — | |
| Flow*T=1, TM=30, δ=0.052023.01 | 1,034 | — |