Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Safety Verification on Quadrotor 4D + 2D obstacle
Loading...
5.1
Alpha
Time-Varying
0.5032
1.6966
2.89
4.0834
Apr 22, 2026
Alpha
Beta (H)
Sum(Beta_i)
Ps
Tau (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Alpha
Beta (H)
Sum(Beta_i)
Ps
Tau (s)
Time-Varying
H=10, deg=4
2026.04
5.1
-
6.8
92
902.73
Time-Varying
H=5, deg=2
2026.04
4.8
-
2.9
95
354.29
Time-Varying
H=10, deg=2
2026.04
4.7
-
4.6
95
743.18
Time-Invariant
H=5, deg=4
2026.04
1
7.6
-
0
619.58
Time-Invariant
H=10, deg=4
2026.04
1
3.5
-
0
628.89
Time-Invariant
H=10, deg=6
2026.04
0.68
1.1
-
21
912.44
Feedback
Search any
task
Search any
task