A Review of Safe Reinforcement Learning: Methods, Theories, and Applications | IEEE Journals & Magazine | IEEE Xplore