Maximum Resilience of Artificial Neural Networks

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

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

2017