Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. - Mykhailo Ivashchenko; Sung Woo Choi; Luan Viet Nguyen; Hoang-Dung Tran (FormaliSE, 2023)

Reachability Analysis of Sigmoidal Neural Networks. - Sung Woo Choi; Mykhailo Ivashchenko; Luan Viet Nguyen; Hoang-Dung Tran (ACM Trans. Embed. Comput. Syst., 2025)