@inproceedings{WHK18,
  author      = {M. Wicker, X. Huang and M. Kwiatkowska},
  title       = {Feature-Guided Black-Box Safety Testing of Deep Neural Networks},
  booktitle = {Proc. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)},
  note = {To appear.},
  year        = {2018}
}