Data Hallucination , Falsification and Validation using Generative Models and Formal Methods by
Self-Normalizing Neural Networks