@inproceedings{HKW+17,
  
author = {Xiaowei Huang and Marta Kwiatkowska and Sen Wang and Min Wu},
  
title = {Safety Verification of Deep Neural Networks},
  
booktitle = {Proceedings, {CAV} 2017},
  
editors = {Viktor Kuncak and Rupak Majumdar},
  
note = {To appear},
 
year = {2017},
 
publisher = {Springer},


}