Reachability Analysis of Neural Network Control Systems

28 January 2023

Papers citing "Reachability Analysis of Neural Network Control Systems"

10 / 10 papers shown

Title
Predicting AI Agent Behavior through Approximation of the Perron-Frobenius Operator Shiqi Zhang D. Gadginmath Fabio Pasqualetti 42 0 0 04 Jun 2024
Boosting Adversarial Training via Fisher-Rao Norm-based Regularization Xiangyu Yin Wenjie Ruan AAML 21 4 0 26 Mar 2024
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning Xiangyu Yin Sihao Wu Jiaxu Liu Meng Fang Xingyu Zhao Xiaowei Huang Wenjie Ruan AAML 25 5 0 12 Dec 2023
Reward Certification for Policy Smoothed Reinforcement Learning Ronghui Mu Leandro Soriano Marcolino Tianle Zhang Yanghao Zhang Xiaowei Huang Wenjie Ruan 20 4 0 11 Dec 2023
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 27 81 0 19 May 2023
Towards Verifying the Geometric Robustness of Large-scale Neural Networks Fu Lee Wang Peipei Xu Wenjie Ruan Xiaowei Huang AAML 29 10 0 29 Jan 2023
Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Gaojie Jin Q. Ni 30 5 0 22 Dec 2022
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments Yixuan Wang S. Zhan Ruochen Jiao Zhilu Wang Wanxin Jin Zhuoran Yang Zhaoran Wang Chao Huang Qi Zhu 19 48 0 29 Sep 2022
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control Yuheng Wang Margaret P. Chapman 28 32 0 18 Sep 2021
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,835 0 03 Feb 2017