TY  - RPRT
TI  - Counterexample-Guided Data Augmentation
AU  - Tommaso Dreossi
AU  - Shromona Ghosh
AU  - Xiangyu Yue
AU  - Kurt Keutzer
AU  - Alberto Sangiovanni-Vincentelli
AU  - Sanjit A. Seshia
PY  - 2018
UR  - https://arxiv.org/abs/1805.06962
ID  - 1805.06962
ER  -