Decompositions in Compositional Translation of LTLf to DFA (Student Abstract).

Yash Kankariya, Suguman Bansal

Browse the full AAAI paper archive.