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

whitemech / LTLf2DFA

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

http://ltlf2dfa.diag.uniroma1.it/

GNU Lesser General Public License v3.0

63 stars 9 forks source link

Closed francescofuggitti closed 2 years ago

francescofuggitti commented 2 years ago

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