Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
System Verification and Training on Inverted Pendulum output
Loading...
7.3
Training Time (min)
CEGIS
7.12
8.335
9.55
10.765
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)
CEGIS
2024.11
7.3
94
8.8
CT-BaB
2024.11
11.8
5.3
11.9
Feedback
Search any
task
Search any
task