Model-based Reinforcement Learning with Provable Safety Guarantees via Control Barrier Functions | IEEE Conference Publication | IEEE Xplore