*Fork* flexfringe is a tool for learning finite state machines, also known as deterministic finite automata. It brings common merge heuristics such as alergia, EDSM, likelihood-ratio, and others, but also offers a flexible interface to easily add custom merge heuristics. It is based on Sicco Verwer's implementation of a state-merger in C++ called dfasat.
Contributions:175 commits in 2 years 11 months
cppfinite-automatastate-machine
A handbook for sharing experiences among young researchers at SnT, especially for newbies
Contributions:6 commits in 2 years 2 months