Safe Controller Synthesis for Nonlinear Systems Using Bayesian Optimization Enhanced Reinforcement Learning. - Chaomin Jin; Xiaoxuan Ma; Tianxiang Ren; Wang Lin; Zuohua Ding (HSCC, 2024)