ResearchBenchmarksSafety verification on Non-Lipschitz 1Follow19Parameter tNeural Abstractions18.0518.5251919.475Jan 27, 2023Evaluation ResultsMethodMethodLinksParameter tSafety Verification ResultNeural AbstractionsT=1.4, W=[10], M=12T=1.4, W=[10], M=122023.0119—