@misc{indiciaea4c6ad769773,
  title = {Barrier Certificates for Assured Machine Teaching},
  author = {Mohamadreza Ahmadi and Bo Wu and Yuxin Chen and Yisong Yue and Ufuk Topcu},
  year = {2019},
  url = {https://arxiv.org/abs/1810.00093},
  note = {Source identifier: 1810.00093}
}