TY - RPRT TI - Barrier Certified Safety Learning Control: When Sum-of-Square Programming Meets Reinforcement Learning AU - Hejun Huang AU - Zhenglong Li AU - Dongkun Han PY - 2022 UR - https://arxiv.org/abs/2206.07915 ID - 2206.07915 ER -