Reachability Analysis of Deep Neural Networks with Provable Guarantees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska. Reachability Analysis of Deep Neural Networks with Provable Guarantees. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 2651-2659, ijcai.org, 2018. [doi]

This author has not been identified. Look up 'Wenjie Ruan' in GoogleThis author has not been identified. Look up 'Xiaowei Huang' in GoogleThis author has not been identified. It may be one of the following persons:

Marta Kwiatkowska

Look up 'Marta Kwiatkowska' in Google

runs on WebDSL