책 이미지
eBook 미리보기
책 정보
· 제목 : Algorithms for Verifying Deep Neural Networks (Paperback)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9781680837865
· 쪽수 : 178쪽
· 출판일 : 2021-02-11
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9781680837865
· 쪽수 : 178쪽
· 출판일 : 2021-02-11
목차
- 1. Introduction
- 2. Problem Formulation
- 3. Overview of Methods
- 4. Preliminaries
- 5. Reachability
- 6. Primal Optimization
- 7. Dual Optimization
- 8. Search and Reachability
- 9. Search and Optimization
- 10. Comparison and Results
- Acknowledgments
- References
