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