This artifact provides the implementation of the ADT learning algorithm as described in the Master thesis
"Active Automata Learning with Adaptive Distinguishing Sequences" (http://arxiv.org/abs/1902.01139) by Markus
Frohme.
License | Apache 2.0 |
---|---|
Ranking | #281314 in MvnRepository (See Top Artifacts) |
Used By | 1 artifacts |