@misc{indiciae1bb0633fadce,
  title = {VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems},
  author = {Tommaso Dreossi and Daniel J. Fremont and Shromona Ghosh and Edward Kim and Hadi Ravanbakhsh and Marcell Vazquez-Chanlatte and Sanjit A. Seshia},
  year = {2019},
  url = {https://arxiv.org/abs/1902.04245},
  note = {Source identifier: 1902.04245}
}