Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems.
Dapeng ZhiPeixin WangSi LiuC.-H. Luke OngMin ZhangPublished in: CAV (2) (2024)
Keyphrases
- qualitative and quantitative
- physical systems
- quantitative and qualitative
- qualitative information
- temporal reasoning
- management system
- safety critical
- knowledge based systems
- asynchronous circuits
- learning systems
- real time
- intelligent systems
- distributed systems
- expert systems
- information retrieval
- data mining
- neural network
- databases