From LTLf / PLTLf to Deterministic Finite-state Automata (DFA) - View it on GitHub