Star-based reachability analysis of deep neural networks
scientific article; zbMATH DE number 7817406