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 | #386481 in MvnRepository (See Top Artifacts) |
| Used By | 1 artifacts |