Cannabis Indica

Authors
Harald Raffelt, Bernhard Steffen, Therese Berg
Publication date
2005/9/5
Book
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Pages
62-71
Description
In this paper we present the LearnLib, a library for automata learning and experimentation. Its modular structure allows users to configure their tailored learning scenarios, which exploit specific properties of the envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios.
Total citations
2004200520062007200820092010201120122013201420152016201720182019202020212022202320241878131115136410119151141316143
Scholar articles
H Raffelt, B Steffen, T Berg - Proceedings of the 10th international workshop on …, 2005

Leave a Reply