TY  - RPRT
TI  - VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
AU  - Tommaso Dreossi
AU  - Daniel J. Fremont
AU  - Shromona Ghosh
AU  - Edward Kim
AU  - Hadi Ravanbakhsh
AU  - Marcell Vazquez-Chanlatte
AU  - Sanjit A. Seshia
PY  - 2019
UR  - https://arxiv.org/abs/1902.04245
ID  - 1902.04245
ER  -