Artifacts using LearnLib :: Algorithms :: TTT (3)
Sort:
popular
|
newest
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 Nov 15, 2023
This artifact provides the implementation of the AAAR learning algorithm as described in the paper "Automata
Learning with Automated Alphabet Abstraction Refinement" (https://dx.doi.org/10.1007/978-3-642-18275-4_19) by
Falk Howar, Bernhard Steffen, and Maik Merten.
Last Release on Nov 15, 2023
This artifact provides the implementations of various learning algorithms for systems of procedural automata
such as the ones described in the papers "Compositional learning of mutually recursive procedural systems
(https://doi.org/10.1007/s10009-021-00634-y) and "From Languages to Behaviors and Back"
(https://doi.org/10.1007/978-3-031-15629-8_11) by Markus Frohme and Bernhard Steffen.
Last Release on Nov 15, 2023
- Prev
- 1
- Next