2 papers
cs.LG2024
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
Dapeng Zhi, Peixin Wang, Si Liu +2
The rapid advance of deep reinforcement learning techniques enables the oversight of safety-critical systems through the utilization of Deep Neural Networks (DNNs). This underscore…
cs.AI2023
Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales
Dapeng Zhi, Peixin Wang, Cheng Chen +1
Deep Reinforcement Learning (DRL) has gained prominence as an effective approach for control systems. However, its practical deployment is impeded by state perturbations that can s…