Neural Network Verification in Control

30 September 2021

Papers citing "Neural Network Verification in Control"

18 / 18 papers shown

Title
Synthesis of Model Predictive Control and Reinforcement Learning: Survey and Classification Rudolf Reiter Jasper Hoffmann D. Reinhardt Florian Messerer Katrin Baumgärtner Shamburaj Sawant Joschka Boedecker Moritz Diehl S. Gros 77 5 0 04 Feb 2025
Achieving the Tightest Relaxation of Sigmoids for Formal Verification Samuel Chevalier Duncan Starkenburg Krishnamurthy Dvijotham 18 0 0 20 Aug 2024
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods Zheqi Lv Shaoxuan He Simin Liu Wenqiao Zhang Luis Mattei-Mendez Taylor Loper Jingyuan Chen Zhou Zhao Changliu Liu 3DPC 16 0 0 31 Jul 2024
Learning a Stable, Safe, Distributed Feedback Controller for a Heterogeneous Platoon of Vehicles Michael Shaham T. Padır 19 0 0 18 Apr 2024
Rational Neural Network Controllers M. Newton A. Papachristodoulou OOD AAML 19 1 0 12 Jul 2023
Toward Evaluating Robustness of Reinforcement Learning with Adversarial Policy Jiawei Zhao Xingjun Ma Florian Schäfer Xinyu Wang Anima Anandkumar Cong Wang AAML 19 1 0 04 May 2023
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 27 13 0 03 Oct 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 8 1 0 07 Jun 2022
Certifiable Artificial Intelligence Through Data Fusion Erik P. Blasch Junchi Bin Zheng Liu 9 6 0 03 Nov 2021
Training a Resilient Q-Network against Observational Interference Chao-Han Huck Yang I-Te Danny Hung Ouyang Yi Pin-Yu Chen OOD 11 14 0 18 Feb 2021
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 290 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,471 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,832 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