Reachability Analysis of Deep Neural Networks with Provable Guarantees
Wenjie Ruan‚ Xiaowei Huang and Marta Kwiatkowska
Book Title
Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden
Editor
Jérôme Lang
ISBN
978−0−9992411−2−7
Pages
2651–2659
Publisher
ijcai.org
Year
2018