ResearchBenchmarksReachability analysis on Spiral nonlinear 2DFollow2.031µ(Ω)TNODEV0.404440.826721.2491.67128Jun 15, 2026Evaluation ResultsMethodMethodLinksµ(Ω)Time (s)TNODEVSet representation=Int...Set representation=Intervals2026.062.0310.3NNV 2.0Set representation=Sta...Set representation=Star set2026.060.5074.2CORASet representation=Zon...Set representation=Zonotopes2026.060.46724.99