Safety Gymnasium: A Unified Safe Reinforcement Learning Benchmark - Ji, Jiaming; Zhang, Borong; Zhou, Jiayi; Pan, Xuehai; Huang, Weidong; Sun, Ruiyang; Geng, Yiran; Zhong, Yifan; Dai, Josef; Yang, Yaodong (Advances in Neural Information Processing Systems, 2023)