temprl (pypi): Framework for Reinforcement Learning with Temporal Goals.
Keywords: temprl|reinforcement-learning|temporal-logic|automata|temporal-constraints|temporal-goals