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
Probabilistic Inverse Modeling: An Application in Hydrology
SDM (SDM), 2022
Somya Sharma
Rahul Ghosh
Arvind Renganathan
Xiang Li
Snigdhansu Chatterjee
John L. Nieber
C. Duffy
Vipin Kumar
AI4CE
176
1
0
12 Oct 2022
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives
IEEE Conference on Decision and Control (CDC), 2022
Jun Wang
Samarth Kalluraya
Y. Kantaros
235
9
0
13 Sep 2022
Neural Observer with Lyapunov Stability Guarantee for Uncertain Nonlinear Systems
IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2022
Song Chen
Shengze Cai
Tehuan Chen
Chao Xu
Jian Chu
175
7
0
27 Aug 2022
Risk Verification of Stochastic Systems with Neural Network Controllers
Artificial Intelligence (AIJ), 2022
Matthew Cleaveland
Lars Lindemann
Radoslav Ivanov
George Pappas
309
13
0
26 Aug 2022
An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models
Brendon G. Anderson
Tanmay Gautam
Somayeh Sojoudi
OOD
263
2
0
15 Aug 2022
Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results
Ramtin Madani
Mersedeh Ashraphijuo
Mohsen Kheirandishfard
Alper Atamtürk
120
3
0
07 Aug 2022
Stability Verification of Neural Network Controllers using Mixed-Integer Programming
IEEE Transactions on Automatic Control (TAC), 2022
Roland Schwan
Colin N. Jones
Daniel Kuhn
257
34
0
27 Jun 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
IEEE Transactions on Dependable and Secure Computing (TDSC), 2022
Mark Huasong Meng
Guangdong Bai
Sin Gee Teo
Zhe Hou
Yan Xiao
Yun Lin
Jin Song Dong
AAML
203
62
0
24 Jun 2022
Chordal Sparsity for SDP-based Neural Network Verification
Anton Xue
Lars Lindemann
Rajeev Alur
253
4
0
07 Jun 2022
Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control
IEEE Systems Journal (IEEE Syst. J.), 2022
Ramij-Raja Hossain
Rahmat Adesunkanmi
Ratnesh Kumar
135
7
0
02 Jun 2022
Robust Longitudinal Control for Vehicular Autonomous Platoons Using Deep Reinforcement Learning
A. A. Neto
L. Mozelli
180
0
0
31 May 2022
Neural Lyapunov Differentiable Predictive Control
IEEE Conference on Decision and Control (CDC), 2022
Sayak Mukherjee
Ján Drgoňa
Aaron Tuor
M. Halappanavar
D. Vrabie
258
18
0
22 May 2022
Robust stabilization of polytopic systems via fast and reliable neural network-based approximations
F. Fabiani
Paul Goulart
149
7
0
27 Apr 2022
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks
IEEE Conference on Decision and Control (CDC), 2022
Anton Xue
Lars Lindemann
Avi Schwarzschild
Hamed Hassani
George J. Pappas
Rajeev Alur
239
16
0
02 Apr 2022
Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks
IEEE Conference on Decision and Control (CDC), 2022
A. Davydov
Saber Jafarpour
Matthew Abate
Francesco Bullo
Samuel Coogan
130
3
0
01 Apr 2022
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
IEEE Conference on Decision and Control (CDC), 2022
Neelay Junnarkar
He Yin
Fangda Gu
Murat Arcak
Peter M. Seiler
265
13
0
31 Mar 2022
Closing the Loop: A Framework for Trustworthy Machine Learning in Power Systems
Jochen Stiasny
Samuel C. Chevalier
Rahul Nellikkath
Brynjar Sævarsson
Spyros Chatzivasileiadis
238
17
0
14 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming
International Conference on Artificial Intelligence and Statistics (AISTATS), 2022
Robin Brown
Edward Schmerling
Navid Azizan
Marco Pavone
AAML
144
18
0
06 Mar 2022
Learning Neural Networks under Input-Output Specifications
American Control Conference (ACC), 2022
Z. Abdeen
He Yin
V. Kekatos
Ming Jin
193
9
0
23 Feb 2022
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers
IEEE Conference on Decision and Control (CDC), 2021
Y. Ebihara
Hayato Waki
Victor Magron
N. Mai
D. Peaucelle
Sophie Tarbouriech
97
12
0
09 Feb 2022
Neural network training under semidefinite constraints
IEEE Conference on Decision and Control (CDC), 2022
Patricia Pauli
Niklas Funcke
Dennis Gramlich
Mohamed Amine Msalmi
Frank Allgöwer
GAN
320
19
0
03 Jan 2022
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Saber Jafarpour
Matthew Abate
A. Davydov
Francesco Bullo
Samuel Coogan
AAML
139
10
0
10 Dec 2021
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
172
5
0
25 Nov 2021
Robustness against Adversarial Attacks in Neural Networks using Incremental Dissipativity
B. Aquino
Arash Rahnama
Peter M. Seiler
Lizhen Lin
Vijay Gupta
AAML
153
10
0
25 Nov 2021
Reliably-stabilizing piecewise-affine neural network controllers
IEEE Transactions on Automatic Control (IEEE TAC), 2021
F. Fabiani
Paul Goulart
238
46
0
13 Nov 2021
Neural Network Verification in Control
M. Everett
AAML
157
19
0
30 Sep 2021
Lyapunov-stable neural-network control
Hongkai Dai
Benoit Landry
Lujie Yang
Marco Pavone
Russ Tedrake
220
148
0
29 Sep 2021
Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems
AAAI Conference on Artificial Intelligence (AAAI), 2021
Fangda Gu
He Yin
L. Ghaoui
Murat Arcak
Peter M. Seiler
Ming Jin
137
32
0
08 Sep 2021
Reachability Analysis of Neural Feedback Loops
IEEE Access (IEEE Access), 2021
M. Everett
Golnaz Habibi
Chuangchuang Sun
Jonathan P. How
134
68
0
09 Aug 2021
DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting
Shaoru Chen
Eric Wong
Zico Kolter
Mahyar Fazlyab
262
17
0
16 Jun 2021
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena
Xidan Song
E. Alves
I. Bessa
Edoardo Manino
Lucas C. Cordeiro
Eddie Batista de Lima Filho
279
13
0
10 Jun 2021
Robust Implicit Networks via Non-Euclidean Contractions
Neural Information Processing Systems (NeurIPS), 2021
Saber Jafarpour
A. Davydov
A. Proskurnikov
Francesco Bullo
400
47
0
06 Jun 2021
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
IEEE Conference on Decision and Control (CDC), 2021
Apurva Badithela
Tichakorn Wongpiromsarn
R. Murray
110
10
0
16 May 2021
Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustness
IEEE Transactions on Automatic Control (IEEE TAC), 2021
Max Revay
Ruigang Wang
I. Manchester
298
94
0
13 Apr 2021
Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers
IEEE Conference on Decision and Control (CDC), 2021
Patricia Pauli
Dennis Gramlich
J. Berberich
Frank Allgöwer
206
31
0
31 Mar 2021
Performance Bounds for Neural Network Estimators: Applications in Fault Detection
American Control Conference (ACC), 2021
Navid Hashemi
Mahyar Fazlyab
Justin Ruths
AAML
128
3
0
22 Mar 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification
Neural Information Processing Systems (NeurIPS), 2021
Shiqi Wang
Huan Zhang
Kaidi Xu
Xue Lin
Suman Jana
Cho-Jui Hsieh
Zico Kolter
322
261
0
11 Mar 2021
Formal Verification of Stochastic Systems with ReLU Neural Network Controllers
IEEE International Conference on Robotics and Automation (ICRA), 2021
Shiqi Sun
Yan Zhang
Xusheng Luo
Panagiotis Vlantis
Miroslav Pajic
Michael M. Zavlanos
101
6
0
08 Mar 2021
Reduced-Order Neural Network Synthesis with Robustness Guarantees
IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2021
R. Drummond
M. Turner
S. Duncan
219
12
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
534
1
0
22 Jan 2021
Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers
IEEE International Conference on Robotics and Automation (ICRA), 2021
Michael Everett
Golnaz Habibi
Jonathan P. How
156
20
0
05 Jan 2021
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization
Conference on Learning for Dynamics & Control (L4DC), 2020
Navid Hashemi
Justin Ruths
Mahyar Fazlyab
423
23
0
10 Dec 2020
A Statistical Test for Probabilistic Fairness
Bahar Taşkesen
Jose H. Blanchet
Daniel Kuhn
Viet Anh Nguyen
FaML
293
47
0
09 Dec 2020
Robust error bounds for quantised and pruned neural networks
Conference on Learning for Dynamics & Control (L4DC), 2020
Jiaqi Li
R. Drummond
S. Duncan
228
4
0
30 Nov 2020
Stability Analysis of Complementarity Systems with Neural Network Controllers
International Conference on Hybrid Systems: Computation and Control (HSCC), 2020
Alp Aydinoglu
Mahyar Fazlyab
M. Morari
Michael Posa
137
9
0
15 Nov 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Sumanth Dathathri
Krishnamurthy Dvijotham
Alexey Kurakin
Aditi Raghunathan
J. Uesato
...
Shreya Shankar
Jacob Steinhardt
Ian Goodfellow
Abigail Z. Jacobs
Pushmeet Kohli
AAML
329
100
0
22 Oct 2020
Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems
Michael Everett
Golnaz Habibi
Jonathan P. How
AAML
192
3
0
01 Oct 2020
Learning to be safe, in finite time
American Control Conference (ACC), 2020
Agustin Castellano
J. Bazerque
Enrique Mallada
168
1
0
01 Oct 2020
SoK: Certified Robustness for Deep Neural Networks
IEEE Symposium on Security and Privacy (IEEE S&P), 2020
Linyi Li
Tao Xie
Yue Liu
AAML
769
143
0
09 Sep 2020
Verifying Individual Fairness in Machine Learning Models
Philips George John
Deepak Vijaykeerthy
Diptikalyan Saha
FaML
196
68
0
21 Jun 2020
Previous
1
2
3
Next
Page 2 of 3
