%0 Conference Paper %1 conf/ijcai/DreossiGYKSS18 %A Dreossi, Tommaso %A Ghosh, Shromona %A Yue, Xiangyu %A Keutzer, Kurt %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B IJCAI %D 2018 %E Lang, Jérôme %I ijcai.org %K dblp %P 2071-2078 %T Counterexample-Guided Data Augmentation. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#DreossiGYKSS18 %@ 978-0-9992411-2-7

@inproceedings{conf/ijcai/DreossiGYKSS18, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dreossi, Tommaso and Ghosh, Shromona and Yue, Xiangyu and Keutzer, Kurt and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/28062ac8257be227dfc0a00c119855400/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2018}, editor = {Lang, Jérôme}, ee = {https://doi.org/10.24963/ijcai.2018/286}, interhash = {6ec5e64c8f880e52d154cd14fe9684da}, intrahash = {8062ac8257be227dfc0a00c119855400}, isbn = {978-0-9992411-2-7}, keywords = {dblp}, pages = {2071-2078}, publisher = {ijcai.org}, timestamp = {2019-08-21T11:53:35.000+0200}, title = {Counterexample-Guided Data Augmentation.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#DreossiGYKSS18}, year = 2018 }