Keyphrases
Deep Neural Network
100%
Range Analysis
100%
Output Range
100%
Neural Network
50%
Number of Segments
50%
Under-approximation
50%
Tight
25%
High Linearity
25%
Nonlinearity
25%
Activation Function
25%
Nonlinear Programming
25%
Propagation-based
25%
Overall Framework
25%
Integer Variables
25%
Polygon
25%
Linear Programming Relaxation
25%
Linear Control
25%
Mixed Integer Linear Program
25%
Refinement Method
25%
Relaxed Problem
25%
Analysis Precision
25%
Computer Science
Deep Neural Network
100%
Neural Network
100%
Nonlinear Programming
50%
Relaxed Problem
50%
Linear Controller
50%
Linear Program
50%
Activation Function
50%
Linear Programming
50%
Engineering
Nonlinearity
100%
Deep Neural Network
100%
Linear Program
50%
Activation Function
50%
Linear Programming
50%
Linear Controller
50%