Barrier
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Neural Control Barrier Function Verification | Barrier 3 | Time (s)5.83 | 2 | |
| Neural Control Barrier Function Verification | Barrier 2 | Time (s)1.66 | 2 | |
| Neural Control Barrier Function Verification | Barrier 4 | Time (s)25.37 | 1 |
Showing 3 of 3 rows