whitemech/LTLf2DFA

Bug on generating DFA for O(a) -> O(b)

francescofuggitti opened this issue · 0 comments

francescofuggitti commented

There is probably a bug when generating the DFA for the PLTLf formula: O(a) -> O(b)