Barrier Certified Safety Learning Control: When Sum-of-Square Programming Meets Reinforcement Learning | IEEE Conference Publication | IEEE Xplore