TY  - RPRT
TI  - Barrier Certificates for Assured Machine Teaching
AU  - Mohamadreza Ahmadi
AU  - Bo Wu
AU  - Yuxin Chen
AU  - Yisong Yue
AU  - Ufuk Topcu
PY  - 2019
UR  - https://arxiv.org/abs/1810.00093
ID  - 1810.00093
ER  -