Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems.

Dapeng Zhi Peixin Wang Si Liu Luke Ong Min Zhang

Published in: CoRR (2024)

Keyphrases

qualitative and quantitative
physical systems
quantitative and qualitative
temporal reasoning
qualitative information
complex systems
safety analysis
retrieval systems
computer systems
databases
building blocks
data sets
model checking
intelligent systems
distributed systems
software engineering
neural network