rltg (pypi): Framework for Reinforcement Learning with Temporal Goals.
Keywords: rltg