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…