Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features

Nicolas Berthier, Amany Alshareef, James Sharp +2

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 ap…