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
Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning Michael Everett Yu Fan Chen Jonathan P. How 146 509 0 04 May 2018
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
Decentralized Non-communicating Multiagent Collision Avoidance with Deep Reinforcement Learning Yu Fan Chen Miao Liu Michael Everett Jonathan P. How 191 583 0 26 Sep 2016