ResearchBenchmarksSafety verification on Non-Lipschitz 2Safety verification on Non-Lipschitz 2Follow59Generic Variable tNeural Abstractions56.0557.5255960.475Jan 27, 2023Evaluation resultsMethodMethodLinksGeneric Variable tSafety Verification StatusNeural AbstractionsT=1.5, W=[12, 10], M=32T=1.5, W=[12, 10], M=322023.0159—