NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation

8 July 2022

Papers citing "NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation"

2 / 2 papers shown

Title
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 62 19 0 14 Sep 2021
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016