Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms - Wachi, Akifumi; Hashimoto, Wataru; Shen, Xun; Hashimoto, Kazumune (Advances in Neural Information Processing Systems, 2023)