You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Given a DFA or NFA, generate traces that adhere to them (i.e., are accepting). Probably needs to exist as part of the PDDL generation, but utilities to check the automata against a trace can/should be generic.
The text was updated successfully, but these errors were encountered:
The best I could find is Spot, but it's designed for C++, so not so easy to get going in Python. The demo UI here, might give a good idea of something for us to work towards though. Another popular option is LTL2BA, which also has an online UI here and a solid Java interface too, but again not Python. I did however find this library which seems to be an implementation of LTL2BA in Python, but I believe I ran into several bugs trying to get it to run a while back. So overall, nothing existing that stands out, but that last one might have branch potential. Let me know what you think.
Given a DFA or NFA, generate traces that adhere to them (i.e., are accepting). Probably needs to exist as part of the PDDL generation, but utilities to check the automata against a trace can/should be generic.
The text was updated successfully, but these errors were encountered: