Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Safety verification on Jet Engine
Loading...
215
Metric t
Neural Abstractions
-7.248
50.451
108.15
165.849
Jan 27, 2023
Metric t
Safety Verification Pass
Updated 1mo ago
Evaluation Results
Method
Method
Links
Metric t
Safety Verification Pass
Neural Abstractions
T=1.5, W=[10, 16], M=8
2023.01
215
-
Flow*
T=1.5, TM=10, δ=0.1
2023.01
1.3
-
Feedback
Search any
task
Search any
task
