Safe reinforcement learning for dynamical systems using barrier certificates. - Qingye Zhao; Yi Zhang 171; Xuandong Li (Connect. Sci., 2022)