Effective Formal Verification of Neural Networks using the Geometry of Linear Regions.

Haitham Khedr James Ferlez Yasser Shoukry

Published in: CoRR (2020)

Keyphrases

formal verification
neural network
model checking
genetic algorithm
pattern recognition
fuzzy logic
back propagation
software development
geometric structure
bounded model checking
three dimensional
reinforcement learning
model checker
automated verification