ResearchDatasetsSTPASTPAFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSafety analysis generationSTPA4.23No-Enumeration4