Neural Control Barrier Function Verification
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
5.83Time (s)
2
Apr 15, 2026
1.66Time (s)
2
Apr 15, 2026
2,146.84Time (s)
1
Apr 15, 2026
5.86Time (s)
1
Apr 15, 2026
144.68Time (s)
1
Apr 15, 2026
25.37Time (s)
1
Apr 15, 2026