ResearchDatasetsACAS XuACAS XuFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProbabilistic Hull FindingACAS Xu0.987Lower Bound (Ls)18Probabilistic safety verificationACAS Xu Property P20.985Lower Bound (Ls)18Neural Network Reachability AnalysisACAS Xu Property 193.06Average Width6Critical Scenario AttributionACAS Xu99.5CTR4