Showing cs.LGShow all
2 papers · 1 filter
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.LG2022
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
Jiaxu Tian, Dapeng Zhi, Si Liu +3
The intrinsic complexity of deep neural networks (DNNs) makes it challenging to verify not only the networks themselves but also the hosting DNN-controlled systems. Reachability an…