Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features. - Nicolas Berthier; Amany Alshareef; James Sharp; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

Quantifying the Importance of Latent Features in Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (SafeAI@AAAI, 2022)

Weight-based Semantic Testing Approach for Deep Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (AISafety/SafeRL@IJCAI, 2023)

Robust Bayesian Abstraction of Neural Networks. - Amany Alshareef; Nicolas Berthier; Sven Schewe; Xiaowei Huang 001 (ICMLC, 2023)