Author:
Xue Anton,Lindemann Lars,Alur Rajeev
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference50 articles.
1. Positive semidefinite matrices with a given sparsity pattern;Agler;Linear Algebra and its Applications,1988
2. The MOSEK interior point optimizer for linear programming: an implementation of the homogeneous algorithm;Andersen,2000
3. The second international verification of neural networks competition (vnn-comp 2021): Summary and results;Bak,2021
4. Batten, Ben, Kouvaros, Panagiotis, Lomuscio, Alessio, & Zheng, Yang (2021). Efficient neural network verification via layer-based semidefinite relaxations and linear cuts. In International joint conference on artificial intelligence (IJCAI21) (pp. 2184–2190).
5. Julia: A fresh approach to numerical computing;Bezanson;SIAM Review,2017