DNN Verification, Reachability, and the Exponential Function Problem.

Omri Isac Yoni Zohar Clark W. Barrett Guy Katz

Published in: CONCUR (2023)

Keyphrases

model checking
state space
neural network
formal methods
information systems
decision making
face verification
transitive closure
formal analysis
signature verification
data sets
databases
search engine
social networks
digital libraries
concurrent systems