@article{scalableneurallearningforverifiable,
  title = {Scalable Neural Learning for Verifiable Consistency with Temporal Specifications},
  author = {Sumanth Dathathri and Johannes Welbl and Krishnamurthy (Dj) Dvijotham and Ramana Kumar and Aditya Kanade and Jonathan Uesato and Sven Gowal and Po-Sen Huang and Pushmeet Kohli},
  year = {2019},
  url = {https://openreview.net/forum?id=BklC2RNKDS},
}