Login / Signup
DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration.
Xuan Xie
Fuyuan Zhang
Published in:
CoRR (2022)
Keyphrases
</>
space exploration
neural network
desired output
three dimensional
input data
back propagation
obstacle avoidance
pattern recognition
input pattern
bp neural network
feed forward neural networks
test cases
three dimensional objects
prediction model
multi dimensional
control system
genetic algorithm