Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations - Luo, Yuping; Ma, Tengyu (Advances in Neural Information Processing Systems, 2021)