Artifacts using learnlib-equivalence-oracles version 0.14.0

Support classes for easily writing integration test cases for learning algorithms
Last Release on Feb 6, 2025
This artifact provides the implementation of the L* learning algorithm described in the paper "Learning Regular Sets from Queries and Counterexamples" (https://doi.org/10.1016/0890-5401(87)90052-6) by Dana Angluin including variations and optimizations thereof such as the versions based on "On the Learnability of Infinitary Regular Sets" (https://doi.org/10.1006/inco.1995.1070) by Oded Maler and Amir Pnueli or "Inference of finite automata using homing sequences" ...
Last Release on Feb 6, 2025
This artifact provides the implementation of the DHC learning algorithm as described in the paper "Automata Learning with on-the-Fly Direct Hypothesis Construction" (https://doi.org/10.1007/978-3-642-34781-8_19) by Maik Merten, Falk Howar, Bernhard Steffen, and Tiziana Margaria.
Last Release on Feb 6, 2025
A learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Last Release on Oct 12, 2020
An artifact that aggregates all other artifacts of LearnLib to produce an Uber-JAR that can be used in non-maven environments. Likewise, this single artifact may be used in maven-aware environments to declare a dependency on all LearnLib artifacts.
Last Release on Feb 6, 2025
  • Prev
  • 1
  • Next