ISBN 1680837869 books & textbook
Algorithms for Verifying Deep Neural Networks (Foundations and Trends(r) in Optimization)
Liu, Changliu Arnon, Tomer Lazarus, Christopher Strong, Christopher Barrett, Clark Kochenderfer, Mykel J
Now Publishers /2021-02-11 Paperback / 176 Pages
isbn-10: 1680837869 / isbn-13: 9781680837865
