Kankariya, Y. and Bansal, S. (2024) “Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(21), pp. 23537-23538. doi: 10.1609/aaai.v38i21.30462.