Safety Verification of Deep Neural Networks
Xiaowei Huang‚ Marta Kwiatkowska‚ Sen Wang and Min Wu
Address
Cham
Book Title
Computer Aided Verification
Editor
Majumdar‚ Rupak and Kunčak‚ Viktor
ISBN
978−3−319−63387−9
Pages
3–29
Publisher
Springer International Publishing
Year
2017