Login / Signup
Karthik Hanumanthaiah
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Signature Verification
Neural Network
High Robustness
Fuzzy Systems
Top Venues
SAIV
</>
Publications
</>
Karthik Hanumanthaiah
,
Samik Basu
Iterative Counter-Example Guided Robustness Verification for Neural Networks.
SAIV
(2014)