ResearchDatasetsACAS XuFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA 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