Singh, N. K.; Saha, I. STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. AAAI 2023, 37, 15118-15126.