Reachability Analysis of Sigmoidal Neural Networks. - Choi, Sung Woo; Ivashchenko, Mykhailo; Nguyen, Luan; Tran, Dung (ACM Transactions on Embedded Computing Systems, 2025)