A Provable Approach for End-to-End Safe Reinforcement Learning - Wachi, Akifumi; Miyaguchi, Kohei; Tanabe, Takumi; Sato, Rei; Akimoto, Youhei (Advances in Neural Information Processing Systems, 2025)