Algorithms for Verifying Deep Neural Networks - Changliu Liu; Tomer Arnon; Christopher Lazarus; Clark Barrett; Mykel J. Kochenderfer (2019)