ltlf2dfa (pypi): LTLf and PLTLf to Deterministic Finite-state Automata (DFA)
Keywords: ltlf2dfa|dfa|formula|ltlf|mona|pltlf