Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Lyapunov stability verification on Inverted Pendulum large torque
Loading...
1.8
Time (s)
CT-BaB
0.552
8.976
17.4
25.824
Nov 27, 2024
Time (s)
ROA
Updated 12d ago
Evaluation Results
Method
Method
Links
Time (s)
ROA
CT-BaB
Loading training subre...
2024.11
1.8
505.4
Wu et al.
2024.11
11.3
53.28
CT-BaB
Loading training subre...
2024.11
12.4
505.4
CEGIS
2024.11
33
239.04
Feedback
Search any
task
Search any
task