Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. - Xue, Anton; Lindemann, Lars; Robey, Alexander; Hassani, Hamed; Pappas, George J.; Alur, Rajeev (2022)