@misc{indiciae526b075a35c3,
  title = {Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers},
  author = {Weiming Xiang and Hoang-Dung Tran and Joel A. Rosenfeld and Taylor T. Johnson},
  year = {2018},
  url = {https://arxiv.org/abs/1802.06981},
  note = {Source identifier: 1802.06981}
}