Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter

Mathematics

• Zonotope 100%
• Neural Networks 64%
• Star 61%
• Filter 60%
• Reachability 36%
• Scalability 29%
• Reachable Set 28%
• Activation Function 26%
• Safety 25%
• Neuron 23%
• Robustness 19%
• Reachability Analysis 16%
• Satisfiability 12%
• Filtering 11%
• Linear Function 10%
• Polytope 10%
• Linear programming 10%
• Upper and Lower Bounds 9%
• Output 8%
• Optimization Problem 8%
• Approximation 5%
• Estimate 5%

Engineering & Materials Science

• Stars 70%
• Deep neural networks 66%
• Neurons 21%
• Neural networks 20%
• Chemical activation 20%
• Scalability 18%
• Linear programming 10%