Formal verification of deep neural networks using learning cellular automata - Shrohan Mohapatra (2019)