ResearchDatasets2D-ControlFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsNeural Control Barrier Function Verification2D-Control5.86Time (s)1