[VMCAI'24] Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Tr... | ACM SIGPLAN | Podwise