Maximum Resilience of Artificial Neural Networks

Chih-Hong Cheng, Georg Nührenberg and Harald Rueß

Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA,

2017