most citedFirst-Order vs. Second-Order Encodings for LTLf-to-Automata Translation

10 citations · 10 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2019★ 10 cited

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Translating formulas of Linear Temporal Logic (LTL) over finite traces, or LTLf, to symbolic Deterministic Finite Automata (DFA) plays an important role not only in LTLf synthesis,…