Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Lyapunov stability verification on Cart-Pole
Loading...
2.2
Time (s)
Wu et al.
-0.432
17.334
35.1
52.866
Nov 27, 2024
Time (s)
ROA
Updated 12d ago
Evaluation Results
Method
Method
Links
Time (s)
ROA
Wu et al.
2024.11
2.2
0.037
CT-BaB
Loading training subre...
2024.11
2.7
1.35
CT-BaB
Loading training subre...
2024.11
68
1.35
Feedback
Search any
task
Search any
task
