Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations. - Pauli, Patricia; Havens, Aaron J.; Araujo, Alexandre; Garg, Siddharth; Khorrami, Farshad; Allgöwer, Frank; Hu, Bin (CoRR, 2024)