Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems

1 October 2020

Papers citing "Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems"

5 / 5 papers shown

Title
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 37 227 0 04 Mar 2019
Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning Michael Everett Yu Fan Chen Jonathan P. How 212 513 0 04 May 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 64 688 0 25 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 274 1,849 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 196 935 0 21 Oct 2016