[1]
Y. Kankariya and S. Bansal, “Decompositions in Compositional Translation of LTLf to DFA (Student Abstract)”, AAAI, vol. 38, no. 21, pp. 23537-23538, Mar. 2024.