An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
scientific article; zbMATH DE number 7498151