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.

Generate a badge for this artifact.

Type:
Type:
Badges are served from badges.mvnrepository.com.