Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Safety Verification on Dubin's 4D car model
Loading...
1
Alpha
Time-Invariant SBF Certificates
0.0952
0.3301
0.565
0.7999
Apr 22, 2026
Alpha
Beta * H
Beta_i
Ps
Tau (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Alpha
Beta * H
Beta_i
Ps
Tau (s)
Time-Invariant SBF Certificates
Horizon (H)=5, Degree...
2026.04
1
0
-
0
63.03
Time-Invariant SBF Certificates
Horizon (H)=10, Degree...
2026.04
1
0
-
0
65.86
Time-Invariant SBF Certificates
Horizon (H)=10, Degree...
2026.04
0.8
0.078
-
12
742.53
Time-Varying SBF Certificates
Horizon (H)=5, Degree...
2026.04
0.15
-
0.0004
85
345.21
Time-Varying SBF Certificates
Horizon (H)=10, Degree...
2026.04
0.15
-
0.0006
85
721.28
Time-Varying SBF Certificates
Horizon (H)=10, Degree...
2026.04
0.13
-
0.0007
87
802.17
Feedback
Search any
task
Search any
task