Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training