Algorithms for Verifying Deep Neural NetworksChangliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett · First published 2021Open the Tome
