Algorithms for Verifying Deep Neural Networks in Optimization
Changliu Liu
,
Tomer Arnon
,
Christopher Lazarus
还没有评分
2021
·
英语
·
平装书