scholarly journals Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter

Author(s):  
Hoang-Dung Tran ◽  
Neelanjana Pal ◽  
Diego Manzanas Lopez ◽  
Patrick Musau ◽  
Xiaodong Yang ◽  
...  
Author(s):  
Alex Hernández-García ◽  
Johannes Mehrer ◽  
Nikolaus Kriegeskorte ◽  
Peter König ◽  
Tim C. Kietzmann

2018 ◽  
Author(s):  
Chi Zhang ◽  
Xiaohan Duan ◽  
Ruyuan Zhang ◽  
Li Tong

Author(s):  
Daniel Povey ◽  
Gaofeng Cheng ◽  
Yiming Wang ◽  
Ke Li ◽  
Hainan Xu ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document