1 code implementation • 5 Mar 2021 • Nicolas Berthier, Amany Alshareef, James Sharp, Sven Schewe, Xiaowei Huang
Intensive research has been conducted on the verification and validation of deep neural networks (DNNs), aiming to understand if, and how, DNNs can be applied to safety critical applications.