Formal Specification for Deep Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue. Formal Specification for Deep Neural Networks. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 20-34, Springer, 2018. [doi]

This author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'Ankush Desai' in GoogleThis author has not been identified. Look up 'Tommaso Dreossi' in GoogleThis author has not been identified. Look up 'Daniel J. Fremont' in GoogleThis author has not been identified. Look up 'Shromona Ghosh' in GoogleThis author has not been identified. Look up 'Edward Kim' in GoogleThis author has not been identified. Look up 'Sumukh Shivakumar' in GoogleThis author has not been identified. Look up 'Marcell Vazquez-Chanlatte' in GoogleThis author has not been identified. Look up 'Xiangyu Yue' in Google

runs on WebDSL