Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Lyapunov stability verification on Inverted Pendulum output
Loading...
5.3
Time (s)
CT-BaB
1.752
25.701
49.65
73.599
Nov 27, 2024
Time (s)
Region of Attraction (ROA)
Updated 12d ago
Evaluation Results
Method
Method
Links
Time (s)
Region of Attraction (ROA)
CT-BaB
Loading training subre...
2024.11
5.3
12.23
CT-BaB
Loading training subre...
2024.11
48.8
12.23
CEGIS
2024.11
94
6.26
Feedback
Search any
task
Search any
task
