Integrating LTL Constraints into PPO for Safe Reinforcement Learning. - Maifang Zhang; Hang Yu; Qian Zuo; Cheng Wang; Vaishak Belle; Fengxiang He (CoRR, 2026)