(1)
Kankariya, Y.; Bansal, S. Decompositions in Compositional Translation of LTLf to DFA (Student Abstract). AAAI 2024, 38, 23537-23538.