[Comp-neuro] Entropy Special Issue : Formal Analysis of Deep Artificial Neural Networks