Login / Signup
Reachability Analysis of Convolutional Neural Networks.
Xiaodong Yang
Tomoya Yamaguchi
Hoang-Dung Tran
Bardh Hoxha
Taylor T. Johnson
Danil V. Prokhorov
Published in:
CoRR (2021)
Keyphrases
</>
convolutional neural networks
reachability analysis
model checking
markov decision processes
convolutional network
incremental algorithms
timed automata
state space
dynamic programming
temporal logic
data mining
learning algorithm
knowledge representation