Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers | IEEE Conference Publication | IEEE Xplore