implement reduction from LTLf to LTL
See the function called t in https://www.cs.rice.edu/~vardi/papers/ijcai13.pdf, also used in http://www.cs.rice.edu/~vardi/papers/memocode14a.pdf
That's probably a new feature for ltlfilt
.
See the function called t in https://www.cs.rice.edu/~vardi/papers/ijcai13.pdf, also used in http://www.cs.rice.edu/~vardi/papers/memocode14a.pdf
That's probably a new feature for ltlfilt
.