Spectral-Risk Safe Reinforcement Learning with Convergence Guarantees - Kim, Dohyeong; Cho, Taehyun; Han, Seungyub; Chung, Hojun; Lee, Kyungjae; Oh, Songhwai (Advances in Neural Information Processing Systems, 2024)