27 citations · 49 across the 5 of their papers we have counts for
1 paper · 1 filter
Salma Iraky, Andrew Sogokon
Reachability analysis of safety-critical systems requires computing rigorous enclosures of all possible state trajectories. Taylor Model (TM)-based methods have proved effective at…