Unifying Qualitative and Quantitative Safety Verification of Deep Neural Network-Controlled Systems

This paper proposes a unified framework for both qualitative and quantitative safety verification of DNN-controlled systems by leveraging neural barrier certificates.