Kankariya, Yash, and Suguman Bansal. “Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 21 (March 24, 2024): 23537-23538. Accessed July 23, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/30462.