Probabilistic Verification and Reachability Analysis of Neural Networks
via Semidefinite Programming

Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming

9 October 2019

George J. Pappas

ArXiv (abs)PDF HTML

Papers citing "Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming"

17 / 17 papers shown

Title
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 207 8 0 28 Aug 2023
PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach Tsui-Wei Weng Pin-Yu Chen Lam M. Nguyen M. Squillante Ivan Oseledets Luca Daniel AAML 51 30 0 18 Dec 2018
Verification of deep probabilistic models Krishnamurthy Dvijotham M. Garnelo Alhussein Fawzi Pushmeet Kohli 67 23 0 06 Dec 2018
Neural Lander: Stable Drone Landing Control using Learned Dynamics Guanya Shi Xichen Shi Michael O'Connell Rose Yu Kamyar Azizzadenesheli Anima Anandkumar Yisong Yue Soon-Jo Chung 108 276 0 19 Nov 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 78 404 0 19 Sep 2018
Linear model predictive safety certification for learning-based control K. P. Wabersich Melanie Zeilinger 37 169 0 22 Mar 2018
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 56 399 0 17 Mar 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 77 117 0 20 Nov 2017
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 128 1,504 0 02 Nov 2017
One pixel attack for fooling deep neural networks Jiawei Su Danilo Vasconcellos Vargas Kouichi Sakurai AAML 133 2,326 0 24 Oct 2017
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 110 294 0 09 Aug 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 67 359 0 22 Jun 2017
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation Matthias Hein Maksym Andriushchenko AAML 115 512 0 23 May 2017
Universal adversarial perturbations Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi Omar Fawzi P. Frossard AAML 150 2,533 0 26 Oct 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 99 424 0 24 May 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 100 4,175 0 25 Apr 2016
Improving the Robustness of Deep Neural Networks via Stability Training Stephan Zheng Yang Song Thomas Leung Ian Goodfellow OOD 58 639 0 15 Apr 2016