A safe reinforcement learning approach for autonomous navigation of mobile robots in dynamic environments (CAAI Transactions on Intelligence Technology, 2023)