@article{verificationofgenerativemodelbasedvisual,
  title = {Verification of Generative-Model-Based Visual Transformations},
  author = {Matthew Mirman and Timon Gehr and Martin Vechev},
  year = {2019},
  url = {https://openreview.net/forum?id=HJxRMlrtPH},
}