Verification of Neural Network Robustness Against Weight Perturbations Using Star Sets. - Muhammad Usama Zubair; Taylor T. Johnson; Kanad Basu; Waseem Abbas (CAI, 2025)