Integrating LTL Constraints into PPO for Safe Reinforcement Learning | ScienceToStartup | ScienceToStartup