Algorithms for Verifying Deep Neural Networks

Changliu Liu | Tomer Arnon | Christopher Lazarus | Christopher Strong | Clark Barrett | Mykel J. Kochenderfer

978-1-68083-786-5

99.00 USD