@article{ahmadi18assured,
  author    = {Ahmadi, M. and Wu, B.~ and Chen, Y. and Yue, Y. and Topcu, U.},
  title     = {Barrier Certificates for Assured Machine Teaching},
  journal   = {CoRR},
  volume    = {abs/1810.00093},
  year      = {2018},
  ee        = {https://arxiv.org/abs/1810.00093},
}