Neural Network Verification in Control

30 September 2021

Papers citing "Neural Network Verification in Control"

8 / 8 papers shown

Title
Lagrangian Neural Networks M. Cranmer S. Greydanus Stephan Hoyer Peter W. Battaglia D. Spergel S. Ho PINN 121 419 0 10 Mar 2020
Touch the Wind: Simultaneous Airflow, Drag and Interaction Sensing on a Multirotor Andrea Tagliabue Aleix Paris Suhan Kim Regan Kubicek Sarah Bergbreiter Jonathan P. How 16 31 0 04 Mar 2020
Challenges and Countermeasures for Adversarial Attacks on Deep Reinforcement Learning Inaam Ilahi Muhammad Usama Junaid Qadir M. Janjua Ala I. Al-Fuqaha D. Hoang Dusit Niyato AAML 55 129 0 27 Jan 2020
Soft Actor-Critic for Discrete Action Settings Petros Christodoulou OffRL 104 292 0 16 Oct 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 289 0 09 Aug 2017
MobileNets: Efficient Convolutional Neural Networks for Mobile Vision Applications Andrew G. Howard Menglong Zhu Bo Chen Dmitry Kalenichenko Weijun Wang Tobias Weyand M. Andreetto Hartwig Adam 3DH 948 20,214 0 17 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016