Formal Specification for Deep Neural Networks. Seshia, S. A., Desai, A., Dreossi, T., Fremont, D. J., Ghosh, S., Kim, E., Shivakumar, S., Vazquez-Chanlatte, M., & Yue, X. In International Symposium on Automated Technology for Verification and Analysis, pages 20–34, 2018.
doi  bibtex   
@inproceedings{seshia_formal_2018,
	title = {Formal {Specification} for {Deep} {Neural} {Networks}},
	doi = {10/ggsqc3},
	booktitle = {International {Symposium} on {Automated} {Technology} for {Verification} and {Analysis}},
	author = {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},
	year = {2018},
	pages = {20--34},
}

Downloads: 0