Xiang, Tran, Johnson, 2017. Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.