| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Safety Verification | Dubins Car subregions certifiable | Success Rate90.5 | 24 | |
| Navigation Predicate Evaluation | Dubins Car 40/60 calibration (test) | Precision100 | 8 | |
| Navigation | Dubins car Hardware Experiments | Success Rate100 | 5 | |
| Motion Planning | 4D Dubins Car | Minimum Obstacle Distance (m)1.207 | 3 |