Algorithms for Verifying Deep Neural Networks in Optimization
Changliu Liu
,
Tomer Arnon
,
Christopher Lazarus
No ratings yet
2021
·
English
·
Paperback