Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
System Verification and Training on Inverted Pendulum
Loading...
1.7
Training Time (min)
CT-BaB
1.432
3.241
5.05
6.859
Nov 27, 2024
Training Time (min)
Verification Time (s)
Total Time (min)
Updated 12d ago
Evaluation Results
Method
Method
Links
Training Time (min)
Verification Time (s)
Total Time (min)
CT-BaB
2024.11
1.7
1.8
1.7
CEGIS
2024.11
8.4
33
8.9
Feedback
Search any
task
Search any
task
