Active Automata Learning with Adaptive Distinguishing Sequences. - Markus Theo Frohme (CoRR, 2019)