Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

4 March 2019

George J. Pappas

Papers citing "Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming"

45 / 45 papers shown

Title
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 57 0 0 07 Nov 2024
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 169 1 0 14 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 41 1 0 27 May 2024
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation Lujie Yang Hongkai Dai Zhouxing Shi Cho-Jui Hsieh Russ Tedrake Huan Zhang 57 15 0 11 Apr 2024
A Transition System Abstraction Framework for Neural Network Dynamical System Models Yejiang Yang Zihao Mo Hoang-Dung Tran Weiming Xiang 20 0 0 18 Feb 2024
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks Brendon G. Anderson Samuel Pfrommer Somayeh Sojoudi OOD 42 1 0 07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization Mahyar Fazlyab Taha Entesari Aniket Roy Ramalingam Chellappa AAML 21 11 0 29 Sep 2023
Learning Dissipative Neural Dynamical Systems Yuezhu Xu S. Sivaranjani 39 2 0 27 Sep 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 13 0 27 Jul 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 99 33 0 29 Apr 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems Akash Harapanahalli Saber Jafarpour Samuel Coogan 43 5 0 07 Apr 2023
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts Navid Hashemi Justin Ruths Jyotirmoy V. Deshmukh 29 0 0 05 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 41 15 0 31 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 41 53 0 06 Mar 2023
Convolutional Neural Networks as 2-D systems Dennis Gramlich Patricia Pauli C. Scherer Frank Allgöwer C. Ebenbauer 3DV 36 8 0 06 Mar 2023
Robust Explanation Constraints for Neural Networks Matthew Wicker Juyeon Heo Luca Costabello Adrian Weller FAtt 34 18 0 16 Dec 2022
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky Vignesh Sivaramakrishnan Meeko Oishi Panagiotis Tsiotras 37 5 0 03 Dec 2022
Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems Song Chen Shengze Cai Tehuan Chen Chao Xu Jian Chu 27 5 0 27 Aug 2022
Stability Verification of Neural Network Controllers using Mixed-Integer Programming Roland Schwan Colin N. Jones Daniel Kuhn 35 24 0 27 Jun 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Song Dong AAML 32 43 0 24 Jun 2022
Robust Longitudinal Control for Vehicular Autonomous Platoons Using Deep Reinforcement Learning A. A. Neto L. Mozelli 19 0 0 31 May 2022
Neural Lyapunov Differentiable Predictive Control Sayak Mukherjee Ján Drgoňa Aaron Tuor M. Halappanavar D. Vrabie 44 13 0 22 May 2022
Robust stabilization of polytopic systems via fast and reliable neural network-based approximations F. Fabiani Paul Goulart 25 5 0 27 Apr 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 15 0 06 Mar 2022
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers Y. Ebihara Hayato Waki Victor Magron N. Mai D. Peaucelle Sophie Tarbouriech 27 9 0 09 Feb 2022
Neural network training under semidefinite constraints Patricia Pauli Niklas Funcke Dennis Gramlich Mohamed Amine Msalmi Frank Allgöwer GAN 26 13 0 03 Jan 2022
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking Xidan Song Edoardo Manino Luiz Sena E. Alves Eddie Batista de Lima Filho I. Bessa M. Luján Lucas C. Cordeiro 42 5 0 25 Nov 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
Lyapunov-stable neural-network control Hongkai Dai Benoit Landry Lujie Yang Marco Pavone Russ Tedrake 26 119 0 29 Sep 2021
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems Fangda Gu He Yin L. Ghaoui Murat Arcak Peter M. Seiler Ming Jin 25 25 0 08 Sep 2021
Reachability Analysis of Neural Feedback Loops M. Everett Golnaz Habibi Chuangchuang Sun Jonathan P. How 19 53 0 09 Aug 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Shaoru Chen Eric Wong Zico Kolter Mahyar Fazlyab 47 15 0 16 Jun 2021
Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers Patricia Pauli Dennis Gramlich J. Berberich Frank Allgöwer 27 26 0 31 Mar 2021
Reduced-Order Neural Network Synthesis with Robustness Guarantees R. Drummond M. Turner S. Duncan 27 9 0 18 Feb 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 58 1 0 22 Jan 2021
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 38 128 0 09 Sep 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 27 57 0 21 Jun 2020
Overfitting in adversarially robust deep learning Leslie Rice Eric Wong Zico Kolter 47 788 0 26 Feb 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen J. Lasserre Victor Magron Edouard Pauwels 36 3 0 10 Feb 2020
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 394 0 15 Mar 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 332 5,849 0 08 Jul 2016