Data Hallucination , Falsification and Validation using Generative Models and Formal Methods by
Generative Adversarial Text to Image Synthesis