Algorithms for Verifying Deep Neural Networks in Optimization
Changliu Liu
,
Tomer Arnon
,
Christopher Lazarus
No ratings yet
Feb 10, 2021
·
English
·
Paperback
(178 pages)