Algorithms for Verifying Deep Neural Networks

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

978-1-68083-787-2

280.00 USD