Algorithms for Verifying Deep Neural NetworksChangliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett · First published 2021Open the Tome
Reasoning rightsLiora Lazarus, Christopher McCrudden, Nigel Bowles · First published 2014Open the Tome
