Automata-based generation

[haz]

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.

[haz]

@brennancruse Suggestions on a simple FSA library? Should we roll our own?

[brennancruse]

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.

[haz]

Hrmz...what about just a pure FSA lib? Create, monitor, etc. functionality. I.e., we take the LTL conversion off the table. Anything in that space?