{"_id":"DXinPartsXyGPpCtS","bibbaseid":"dreossi-fremont-ghosh-kim-ravanbakhsh-vazquezchanlatte-seshia-verifaiatoolkitfortheformaldesignandanalysisofartificialintelligencebasedsystems-2019","author_short":["Dreossi, T.","Fremont, D. J.","Ghosh, S.","Kim, E.","Ravanbakhsh, H.","Vazquez-Chanlatte, M.","Seshia, S. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verifai: A toolkit for the formal design and analysis of artificial intelligence-based systems","shorttitle":"Verifai","doi":"10/gg352h","booktitle":"International Conference on Computer Aided Verification","publisher":"Springer","author":[{"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":["Ravanbakhsh"],"firstnames":["Hadi"],"suffixes":[]},{"propositions":[],"lastnames":["Vazquez-Chanlatte"],"firstnames":["Marcell"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]}],"year":"2019","note":"tex.ids= dreossiVerifaiToolkitFormal2019a","pages":"432–442","bibtex":"@inproceedings{dreossi_verifai_2019,\n\ttitle = {Verifai: {A} toolkit for the formal design and analysis of artificial intelligence-based systems},\n\tshorttitle = {Verifai},\n\tdoi = {10/gg352h},\n\tbooktitle = {International {Conference} on {Computer} {Aided} {Verification}},\n\tpublisher = {Springer},\n\tauthor = {Dreossi, Tommaso and Fremont, Daniel J. and Ghosh, Shromona and Kim, Edward and Ravanbakhsh, Hadi and Vazquez-Chanlatte, Marcell and Seshia, Sanjit A.},\n\tyear = {2019},\n\tnote = {tex.ids= dreossiVerifaiToolkitFormal2019a},\n\tpages = {432--442},\n}\n\n","author_short":["Dreossi, T.","Fremont, D. J.","Ghosh, S.","Kim, E.","Ravanbakhsh, H.","Vazquez-Chanlatte, M.","Seshia, S. A."],"key":"dreossi_verifai_2019","id":"dreossi_verifai_2019","bibbaseid":"dreossi-fremont-ghosh-kim-ravanbakhsh-vazquezchanlatte-seshia-verifaiatoolkitfortheformaldesignandanalysisofartificialintelligencebasedsystems-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["verifai","toolkit","formal","design","analysis","artificial","intelligence","based","systems","dreossi","fremont","ghosh","kim","ravanbakhsh","vazquez-chanlatte","seshia"],"title":"Verifai: A toolkit for the formal design and analysis of artificial intelligence-based systems","year":2019}