Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1903.01287
Cited By
v1
v2
v3 (latest)
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
IEEE Transactions on Automatic Control (IEEE TAC), 2019
4 March 2019
Mahyar Fazlyab
M. Morari
George J. Pappas
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming"
50 / 112 papers shown
Delay Independent Safe Control with Neural Networks: Positive Luré Certificates for Risk Aware Autonomy
Hamidreza Montazeri Hedesh
Milad Siami
93
1
0
08 Oct 2025
Exact Causal Attention with 10% Fewer Operations
Dmitry Rybin
Yushun Zhang
Ding Tian
Zhihang Lin
Zhi-Quan Luo
CML
252
0
0
05 Oct 2025
Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
Paul Hamelbeck
Johannes Schiffer
AAML
107
0
0
22 Sep 2025
Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
Masako Kishida
AAML
120
0
0
22 Sep 2025
Stochastic Sample Approximations of (Local) Moduli of Continuity
Rodion Nazarov
Allen Gehret
Robert Shorten
Jakub Mareˇcek
109
0
0
18 Sep 2025
Robust Convolution Neural ODEs via Contractivity-promoting regularization
M. Zakwan
Liang Xu
Giancarlo Ferrari-Trecate
AAML
128
0
0
15 Aug 2025
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Guanqin Zhang
Kota Fukuda
Zhenya Zhang
H.M.N. Dilum Bandara
S. Chen
Jianjun Zhao
Yulei Sui
AAML
151
0
0
23 Jul 2025
Logic Gate Neural Networks are Good for Verification
Fabian Kresse
Emily Yu
Christoph H. Lampert
T. Henzinger
207
3
0
26 May 2025
Learning Verifiable Control Policies Using Relaxed Verification
Puja Chaudhury
Alexander Estornell
Michael Everett
271
0
0
23 Apr 2025
Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
Conference on Learning for Dynamics & Control (L4DC), 2025
Damola Ajeyemi
Saber Jafarpour
Emiliano DallÁnese
125
0
0
11 Apr 2025
Towards Understanding the Optimization Mechanisms in Deep Learning
Binchuan Qi
Wei Gong
Li Li
306
1
0
29 Mar 2025
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
International Conference on Hybrid Systems: Computation and Control (HSCC), 2024
Vignesh Sivaramakrishnan
Krishna C. Kalagarla
Rosalyn Devonport
Joshua Pilipovsky
Panagiotis Tsiotras
Meeko Oishi
266
4
0
04 Dec 2024
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
AAAI Conference on Artificial Intelligence (AAAI), 2024
Benedikt Brückner
Alessio Lomuscio
AAML
321
1
0
07 Nov 2024
LipKernel: Lipschitz-Bounded Convolutional Neural Networks via Dissipative Layers
Patricia Pauli
Ruigang Wang
I. Manchester
Frank Allgöwer
261
2
0
29 Oct 2024
TL-PCA: Transfer Learning of Principal Component Analysis
Sharon Hendy
Yehuda Dar
417
4
0
14 Oct 2024
Identification For Control Based on Neural Networks: Approximately Linearizable Models
Maxime Thieffry
Alexandre Hache
Mohamed Yagoubi
Philippe Chevrel
144
0
0
24 Sep 2024
Formal Verification and Control with Conformal Prediction
Lars Lindemann
Yiqi Zhao
Xinyi Yu
George J. Pappas
Jyotirmoy Deshmukh
1.2K
33
0
31 Aug 2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
European Conference on Artificial Intelligence (ECAI), 2024
Ben Batten
Yang Zheng
Alessandro De Palma
Panagiotis Kouvaros
A. Lomuscio
AAML
337
1
0
23 Aug 2024
A Complete Set of Quadratic Constraints for Repeated ReLU and Generalizations
Sahel Vahedi Noori
Bin Hu
Geir Dullerud
Peter M. Seiler
331
3
0
09 Jul 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
Sina Sharifi
Mahyar Fazlyab
196
1
0
06 Jun 2024
Certifying Global Robustness for Deep Neural Networks
You Li
Guannan Zhao
Shuyu Kong
Yunqi He
Hai Zhou
AAML
146
1
0
31 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang
Srecko Ðurasinovic
Jean B. Lasserre
Victor Magron
Jun Zhao
AAML
324
2
0
27 May 2024
Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks
IEEE Conference on Decision and Control (CDC), 2024
Sahel Vahedi Noori
Bin Hu
Geir Dullerud
Peter M. Seiler
151
6
0
08 May 2024
Lipschitz constant estimation for general neural network architectures using control tools
Patricia Pauli
Dennis Gramlich
Frank Allgöwer
273
9
0
02 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
315
32
0
11 Apr 2024
Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
Neelay Junnarkar
Murat Arcak
Peter M. Seiler
181
4
0
10 Apr 2024
State space representations of the Roesser type for convolutional layers
IFAC-PapersOnLine (IFAC-PapersOnLine), 2024
Patricia Pauli
Dennis Gramlich
Frank Allgöwer
260
3
0
18 Mar 2024
A Transition System Abstraction Framework for Neural Network Dynamical System Models
Yejiang Yang
Zihao Mo
Hoang-Dung Tran
Weiming Xiang
131
0
0
18 Feb 2024
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
Jun Wang
Haojun Chen
Zihe Sun
Y. Kantaros
309
0
0
17 Nov 2023
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
European Control Conference (ECC), 2023
Y. Ebihara
Xin Dai
Victor Magron
D. Peaucelle
Sophie Tarbouriech
120
6
0
17 Oct 2023
Is Certifying
ℓ
p
\ell_p
ℓ
p
Robustness Still Worthwhile?
Ravi Mangal
Klas Leino
Zifan Wang
Kai Hu
Weicheng Yu
Corina S. Pasareanu
Anupam Datta
Matt Fredrikson
AAML
OOD
250
1
0
13 Oct 2023
Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks
IEEE Conference on Decision and Control (CDC), 2023
Brendon G. Anderson
Samuel Pfrommer
Somayeh Sojoudi
OOD
338
3
0
07 Oct 2023
Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization
Neural Information Processing Systems (NeurIPS), 2023
Mahyar Fazlyab
Taha Entesari
Aniket Roy
Ramalingam Chellappa
AAML
690
21
0
29 Sep 2023
Learning Dissipative Neural Dynamical Systems
IEEE Control Systems Letters (L-CSS), 2023
Yuezhu Xu
S. Sivaranjani
228
6
0
27 Sep 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
IEEE Transactions on Automatic Control (TAC), 2023
Saber Jafarpour
Akash Harapanahalli
Samuel Coogan
276
19
0
27 Jul 2023
Neural Schrödinger Bridge with Sinkhorn Losses: Application to Data-driven Minimum Effort Control of Colloidal Self-assembly
IEEE Transactions on Control Systems Technology (IEEE TCST), 2023
Iman Nodozi
Charlie Yan
Mira M. Khare
A. Halder
A. Mesbah
228
8
0
26 Jul 2023
Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes
Carlos Trapiello
C. Combastel
A. Zolghadri
148
2
0
26 Jun 2023
Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems
American Control Conference (ACC), 2023
Truong X. Nghiem
Ján Drgoňa
Colin N. Jones
Zoltán Nagy
Roland Schwan
...
J. Paulson
Andrea Carron
Melanie Zeilinger
Wenceslao Shaw-Cortez
D. Vrabie
PINN
AI4CE
255
62
0
24 Jun 2023
GPU-Accelerated Verification of Machine Learning Models for Power Systems
Hawaii International Conference on System Sciences (HICSS), 2023
Samuel C. Chevalier
Ilgiz Murzakhanov
Spyros Chatzivasileiadis
206
4
0
18 Jun 2023
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
672
44
0
29 Apr 2023
Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
IEEE Conference on Decision and Control (CDC), 2023
Akash Harapanahalli
Saber Jafarpour
Samuel Coogan
216
7
0
07 Apr 2023
Convex Optimization-based Policy Adaptation to Compensate for Distributional Shifts
IEEE Conference on Decision and Control (CDC), 2023
Navid Hashemi
Justin Ruths
Jyotirmoy V. Deshmukh
237
0
0
05 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD), 2023
Yixuan Wang
Weichao Zhou
Jiameng Fan
Zhilu Wang
Jiajun Li
Xin Chen
Chao Huang
Wenchao Li
Qi Zhu
365
22
0
31 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural Networks
International Conference on Learning Representations (ICLR), 2023
Alexandre Araujo
Aaron J. Havens
Blaise Delattre
A. Allauzen
Bin Hu
AAML
269
64
0
06 Mar 2023
Convolutional Neural Networks as 2-D systems
Dennis Gramlich
Patricia Pauli
C. Scherer
Frank Allgöwer
C. Ebenbauer
3DV
243
8
0
06 Mar 2023
Shared Information-Based Safe And Efficient Behavior Planning For Connected Autonomous Vehicles
Songyang Han
Shangli Zhou
Lynn Pepin
Jiangwei Wang
Caiwen Ding
Fei Miao
119
1
0
08 Feb 2023
Robust Explanation Constraints for Neural Networks
International Conference on Learning Representations (ICLR), 2022
Matthew Wicker
Juyeon Heo
Luca Costabello
Adrian Weller
FAtt
235
23
0
16 Dec 2022
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions
Conference on Learning for Dynamics & Control (L4DC), 2022
Joshua Pilipovsky
Vignesh Sivaramakrishnan
Meeko Oishi
Panagiotis Tsiotras
317
10
0
03 Dec 2022
Global Performance Guarantees for Neural Network Models of AC Power Flow
Samuel C. Chevalier
Spyros Chatzivasileiadis
204
8
0
14 Nov 2022
Physically Consistent Neural ODEs for Learning Multi-Physics Systems
M. Zakwan
L. D. Natale
B. Svetozarevic
Philipp Heer
Colin N. Jones
Giancarlo Ferrari-Trecate
PINN
AI4CE
232
8
0
11 Nov 2022
1
2
3
Next
