Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems