learnlib
learnlib copied to clipboard
LearnLib
A free, open-source Java library for automata learning algorithms
Add support for the `Resumable` concept to the procedural learners. - [ ] SPALearner - [ ] SBALearner - [ ] SPMMLearner
Add support for the `Resumable` concept to the OML learners. - [x] OptimalLStar - [ ] OptimalTTT
With Java 17, we have a new LTS version of Java that should be tested continuously.
The `LearnLogger` currently extends the `org.slf4.Logger` interface, which gives access to several nice logging methods using format strings, i.e. we don't have to directly construct the strings being logged (potentially...
Many of the equivalence oracles in LearnLib are based on testing (this includes `RandomWordEQOracle`, `W(p)MethodEQOracle`, `CompleteExplorationEQOracle`, ...) and so each of these classes will contain code like this (in many...
Add Moore-specific caches and use them where adequate, e.g., [AbstractGrowingAlphabetMooreTest](https://github.com/LearnLib/learnlib/blob/develop/test-support/learner-it-support/src/main/java/de/learnlib/testsupport/AbstractGrowingAlphabetMooreTest.java#L66). * We may be able to generalize the current DFA caches to something like "state-output" caches. * This may require...
Add support for the `Resumable` concept to the AAAR learners. - [ ] ExplicitAAAR - [ ] GenericAAAR
Hi, I'm new to LearnLib. I've cloned both AutomataLib and LearnLib, and they both build successfully. However, when I tried to import them to Eclipse (after installing the Maven plugin...
