147 citations · 590 across the 30 of their papers we have counts for
1 paper · 2 filters
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak +1
Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is t…