| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Path Tracking large torque | CT-BaB | Time (s)3 | 4 | 12d ago | |
| Inverted Pendulum large torque | CT-BaB | Time (s)1.8 | 4 | 12d ago | |
| 2D Quadrotor output feedback | CT-BaB | Time (hrs)0.8 | 3 | 12d ago | |
| 2D Quadrotor state feedback | CEGIS | Time (s)1.1 | 3 | 12d ago | |
| Cart-Pole | Wu et al. | Time (s)2.2 | 3 | 12d ago | |
| Path Tracking small torque | CT-BaB | Time (s)3.6 | 3 | 12d ago | |
| Inverted Pendulum output | CT-BaB | Time (s)5.3 | 3 | 12d ago | |
| Inverted Pendulum small torque | CT-BaB | Time (s)2.2 | 3 | 12d ago | |
| PVTOL | CT-BaB | Time (s)16 | 2 | 12d ago |
