LearnLib: a library for automata learning and experimentation.

Harald Raffelt, Bernhard Steffen, Therese Berg

Browse the full FMICS paper archive.