Singh, N. K., & Saha, I. (2023). STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. Proceedings of the AAAI Conference on Artificial Intelligence, 37(12), 15118–15126. https://doi.org/10.1609/aaai.v37i12.26764