Star Based Reachability Analysis of Interval Neural Networks. - Vishnu Bondalakunta; Pavithra Prabhakar (CDC, 2023)