Discussion and Q&A

If you have a question about a specific feature or use case of LearnLib, post it on our LearnLib Q&A List that takes place on Google Groups (registration required for posting).

See also:

Bug reports, Feature Requests, …?

Did you find a bug in LearnLib/AutomataLib, or are there some features you are painfully missing? File an issue in our issue trackers!

Technical Wiki

Examples or explanations that go beyond the scope of the Javadoc API Documentation can be found in the GitHub Wiki of LearnLib (and AutomataLib, of course).