Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Safety verification on Water Tank
Loading...
1
Safety Verification Result
Certified Neural Approximations
0.95
0.975
1
1.025
May 21, 2025
Safety Verification Result
Time Placeholder
Verification Outcome
Updated 1mo ago
Evaluation Results
Method
Method
Links
Safety Verification Result
Time Placeholder
Verification Outcome
Certified Neural Approximations
Network=[12], Dim=1, T...
2025.05
1
-
-
Certified Neural Approximations
Network=3x[64], Dim=1,...
2025.05
1
-
-
Neural Abstractions
T=2, W=[12], M=6
2023.01
-
49
-
Feedback
Search any
task
Search any
task
