SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks. - Anahita Baninajjar; Kamran Hosseini; Ahmed Rezine; Amir Aminifar (ICASSP, 2023)

Verified Relative Safety Margins for Neural Network Twins. - Anahita Baninajjar; Kamran Hosseini; Ahmed Rezine; Amir Aminifar (CoRR, 2024)