{"_id":"vv8fmq4nECEPpGyrj","bibbaseid":"seshia-desai-dreossi-fremont-ghosh-kim-shivakumar-vazquezchanlatte-etal-formalspecificationfordeepneuralnetworks-2018","author_short":["Seshia, S. A.","Desai, A.","Dreossi, T.","Fremont, D. J.","Ghosh, S.","Kim, E.","Shivakumar, S.","Vazquez-Chanlatte, M.","Yue, X."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Specification for Deep Neural Networks","doi":"10/ggsqc3","booktitle":"International Symposium on Automated Technology for Verification and Analysis","author":[{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]},{"propositions":[],"lastnames":["Desai"],"firstnames":["Ankush"],"suffixes":[]},{"propositions":[],"lastnames":["Dreossi"],"firstnames":["Tommaso"],"suffixes":[]},{"propositions":[],"lastnames":["Fremont"],"firstnames":["Daniel","J."],"suffixes":[]},{"propositions":[],"lastnames":["Ghosh"],"firstnames":["Shromona"],"suffixes":[]},{"propositions":[],"lastnames":["Kim"],"firstnames":["Edward"],"suffixes":[]},{"propositions":[],"lastnames":["Shivakumar"],"firstnames":["Sumukh"],"suffixes":[]},{"propositions":[],"lastnames":["Vazquez-Chanlatte"],"firstnames":["Marcell"],"suffixes":[]},{"propositions":[],"lastnames":["Yue"],"firstnames":["Xiangyu"],"suffixes":[]}],"year":"2018","pages":"20–34","bibtex":"@inproceedings{seshia_formal_2018,\n\ttitle = {Formal {Specification} for {Deep} {Neural} {Networks}},\n\tdoi = {10/ggsqc3},\n\tbooktitle = {International {Symposium} on {Automated} {Technology} for {Verification} and {Analysis}},\n\tauthor = {Seshia, Sanjit A. and Desai, Ankush and Dreossi, Tommaso and Fremont, Daniel J. and Ghosh, Shromona and Kim, Edward and Shivakumar, Sumukh and Vazquez-Chanlatte, Marcell and Yue, Xiangyu},\n\tyear = {2018},\n\tpages = {20--34},\n}\n\n","author_short":["Seshia, S. A.","Desai, A.","Dreossi, T.","Fremont, D. J.","Ghosh, S.","Kim, E.","Shivakumar, S.","Vazquez-Chanlatte, M.","Yue, X."],"key":"seshia_formal_2018","id":"seshia_formal_2018","bibbaseid":"seshia-desai-dreossi-fremont-ghosh-kim-shivakumar-vazquezchanlatte-etal-formalspecificationfordeepneuralnetworks-2018","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","deep","neural","networks","seshia","desai","dreossi","fremont","ghosh","kim","shivakumar","vazquez-chanlatte","yue"],"title":"Formal Specification for Deep Neural Networks","year":2018}